Popular repositories Loading

1. nvim-config nvim-config Public

   Lua

2. leetcode leetcode Public

   A collection of solutions to selected LeetCode problems.

   C++

3. formalising-mathematics-lean4 formalising-mathematics-lean4 Public

   Solutions to Buzzard/Mehta's Formalising Mathematics courses in Lean4 (self-study)

   Lean

4. fp-exercises fp-exercises Public

   Functional programming exercises

   Haskell

5. pl-interpreters pl-interpreters Public

   Self-study in programming language implementation: interpreters, parsers, and semantics exercises.

   Haskell

6. cslib cslib Public

   Forked from leanprover/cslib

   The Lean Computer Science Library (CSLib)

   Lean