Lausanne, Switzerland

Romain Ruetschi

Elite
@romac

Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems

react-if. 🌗 Render React components conditionally

1.1k

mdash-chrome. ⭐️ Lightweight new tab page for Chrome/Firefox, synced with your bookmarks

21

cargo-build-deps. ⏱ Cargo subcommand to build dependencies, helps speed up docker builds by allowing dependencies to be built earlier and cached.

12

node-houdini. Node.js bindings for Houdini, a text escaping library by GitHub (ABANDONED)

10

choreo. Choreographic programming in Scala

10

lfc-haskell. 🔮 An experiment with the simply typed lambda calculus, recursion schemes, Cofree, and extensible effects

8

oxid-light. Prototype functional programming language with refinement types, powered by Inox

8

mental. 🚧 Yet Another ML Dialect (WIP)

5

loc-idle. An incremental game for producing code inspired by Universal Paperclips

4

msc-thesis-report. MSc Thesis: Systems Modelling with Stainless

3

genawaiter2. Stackless generators on stable Rust. Forked from genawaiter. Not published yet.

3

ADAProject. 🔬 Project proposal for the Applied Data Analysis course at EPFL

3

x86-snippets. Random x86 assembly snippets I wrote while learning the basics.

2

romac.me-old. 🌍 Personal website

2

AstroVim. My AstroVim config

2

node-flick. GitHub post-receive hooks handler for Node.js (ABANDONED)

2

him. :fountain_pen: A text editor written in Haskell (WIP)

2

thebutton.hs. 🔘

1

libp2p-scatter. Broadcast messages to connected peers

1

qnt-interpreter. Rust

1

parsatron.js. 🚧 A parser combinators library for JavaScript (ABANDONED)

1

stripe-ctf-3.0. Stripe CTF 3.0

1

risc0-ibc. Rust

1

promquery. Query and visualize Prometheus metrics from the command-line

1

futures-await. Rust

1

rocket-slog-fairing. Fairing that you can attach to your rocket.rs application to enable use of a slog Logger in your handlers. Fork of https://gitlab.com/pwoolcoc/rocket-slog-fairing

1

scalajs-free-canvas. 🎨 HTML5 Canvas API as a Free monad for Scala.js (WIP)

1

Powered. Powered is a TYPO3 extension which adds functionalities to the Extbase MVC framework shipped with TYPO3 since version 4.3 (DEPRECATED)

1

RRoEmbed. RRoEmbed is a PHP 5.3+ library which provides an object-oriented interface to consume oEmbed resources (ABANDONED)

1

TumblrFS. TumblrFS is a MacFUSE file system which allows you to browse a tumblog as if it was a volume on your computer (EXPERIMENTAL)

1
30
Apply