Pinned Loading

1. creusot-rs/creusot creusot-rs/creusot Public

   Creusot helps you prove your code is correct in an automated fashion.

   Rust 1.5k 71

2. ill ill Public

   educational compiler for not (quite) toy languages

   Haskell 21

3. crdocs crdocs Public

   distributed crdt based document editor running in wasm

   Rust 8

4. besm besm Public

   Resurrecting PP-BESM

   Haskell 27 4