Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems
react-if. 🌗 Render React components conditionally
1.1kmdash-chrome. ⭐️ Lightweight new tab page for Chrome/Firefox, synced with your bookmarks
21cargo-build-deps. ⏱ Cargo subcommand to build dependencies, helps speed up docker builds by allowing dependencies to be built earlier and cached.
12node-houdini. Node.js bindings for Houdini, a text escaping library by GitHub (ABANDONED)
10choreo. Choreographic programming in Scala
10lfc-haskell. 🔮 An experiment with the simply typed lambda calculus, recursion schemes, Cofree, and extensible effects
8oxid-light. Prototype functional programming language with refinement types, powered by Inox
8mental. 🚧 Yet Another ML Dialect (WIP)
5loc-idle. An incremental game for producing code inspired by Universal Paperclips
4msc-thesis-report. MSc Thesis: Systems Modelling with Stainless
3genawaiter2. Stackless generators on stable Rust. Forked from genawaiter. Not published yet.
3ADAProject. 🔬 Project proposal for the Applied Data Analysis course at EPFL
3x86-snippets. Random x86 assembly snippets I wrote while learning the basics.
2romac.me-old. 🌍 Personal website
2AstroVim. My AstroVim config
2node-flick. GitHub post-receive hooks handler for Node.js (ABANDONED)
2him. :fountain_pen: A text editor written in Haskell (WIP)
2thebutton.hs. 🔘
1libp2p-scatter. Broadcast messages to connected peers
1qnt-interpreter. Rust
1parsatron.js. 🚧 A parser combinators library for JavaScript (ABANDONED)
1stripe-ctf-3.0. Stripe CTF 3.0
1risc0-ibc. Rust
1promquery. Query and visualize Prometheus metrics from the command-line
1futures-await. Rust
1rocket-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
1scalajs-free-canvas. 🎨 HTML5 Canvas API as a Free monad for Scala.js (WIP)
1Powered. Powered is a TYPO3 extension which adds functionalities to the Extbase MVC framework shipped with TYPO3 since version 4.3 (DEPRECATED)
1RRoEmbed. RRoEmbed is a PHP 5.3+ library which provides an object-oriented interface to consume oEmbed resources (ABANDONED)
1TumblrFS. TumblrFS is a MacFUSE file system which allows you to browse a tumblog as if it was a volume on your computer (EXPERIMENTAL)
1