Pinned

1. raphlinus/pulldown-cmark Public

   Rust 1.5k 198

2. lisp-interpreter Public

   A bare bones lisp parser & interpreter

   Rust 10 1

3. rust-lang/rustfmt Public

   Format Rust code

   Rust 4.9k 760

4. Achtung--die-Kurve- Public

   Remake of the classic Achtung die Kurve using HTML5 websockets

   C 11 2

5. rust-lang/rust-clippy Public

   A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

   Rust 8.9k 1.2k

6. tower-of-hanoi Public

   proof using the lean prover that the towers of hanoi problem is solvable

   Lean 2