Projects
[github]
Corophage
Active
Algebraic effects on stable Rust
Choreo
Active
Choreographic programming in Scala
cargo-stitch
Active
A Cargo subcommand for applying source-level patches to crates before compilation
libp2p-scatter
Active
libp2p protocol for broadcasting messages to connected peers
Malachite
Work
Flexible BFT consensus engine in Rust
itf-rs
Past
Rust library for consuming Apalache ITF traces
Quint
Past
Contributor to Quint, an executable specification language based on the temporal logic of actions (TLA)
Hermes
Past
IBC relayer and library, in Rust.
Stainless
Past
Long-time contributor to Stainless, a verification framework for higher-order functional Scala programs developed at LARA at EPFL.
Oxid
Prototype
Simple functional programming language with refinement types, powered by Inox. Crafted for my Refine your types! talk.
RustySecrets
Inactive
Rust implementation of Shamir & Adaptative threshold secret sharing schemes.
merkle.rs
Inactive
Rust implementation of a Merkle Tree.
mdash
Abandoned
mdash is a Chrome extension which replaces the New Tab page with a light dashboard linked with your bookmarks.
Hackers at EPFL
PastHackers at EPFL was an association which aimed to promote the hacking culture at EPFL.
