Popular repositories Loading

1. lean-and-mean lean-and-meanPublic

   Random lean formalisations

   Lean 5

2. lush lushPublic

   toy ssh implementation in lean

   Lean 5 1

3. crab-bucket crab-bucketPublic

   Toy LSM based database written in Rust, a learning project

   Rust 1

4. graph-traversal graph-traversalPublic

   learning lean by proving correctness of graph traversal

   Lean 1

5. related_post_gen related_post_genPublic

   Forked from zupat/related_post_gen

   Data Processing benchmark featuring Rust, Go, Swift, Zig, Julia etc.

   C++

6. happyfellow-one.github.io happyfellow-one.github.ioPublic

   page

   HTML