Pinned Loading

1. pulldown-cmark/pulldown-cmark pulldown-cmark/pulldown-cmark Public

   An efficient, reliable parser for CommonMark, a standard dialect of Markdown

   Rust 2.1k 242

2. lisp-interpreter lisp-interpreter Public

   A bare bones lisp parser & interpreter

   Rust 11 1

3. rust-lang/rustfmt rust-lang/rustfmt Public

   Format Rust code

   Rust 6.1k 898

4. Achtung--die-Kurve- Achtung--die-Kurve- Public

   Remake of the classic Achtung die Kurve using HTML5 websockets

   C 11 2

5. rust-lang/rust-clippy 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 11.6k 1.6k

6. tower-of-hanoi tower-of-hanoi Public

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

   Lean 3 1