Popular repositories Loading

1. tlpi-rust tlpi-rust Public

   Translating programs from the book "The Linux Programming Interface" to Rust

   Rust 7

2. agda-analysis agda-analysis Public

   Terence Tao's Analysis I, formalized in Agda

   Agda 6

3. agda-quotients agda-quotients Public

   Examples of quotient types in Agda

   Agda 5 1

4. python-drills python-drills Public

   Learn Python syntax through repetition

   Python 2 2

5. verified-fp-in-agda verified-fp-in-agda Public

   Working through Aaron Stump's "Verified Functional Programming in Agda"

   Agda 2

6. lean4-analysis lean4-analysis Public

   Lean 2