Pinned Loading

1. clrs clrs Public

   Exercises and implementations of the algorithms from "Introduction to Algorithms" (3e) - Cormen, Leiserson, Rivest, & Stein

   TeX

2. functional_lean functional_lean Public

   Exercises and examples from "Functional Programming in Lean" - David Thrane Christiansen

   Lean

3. harpy harpy Public

   Harbour to C# transpiler

   C#

4. lpfp lpfp Public

   Exercises and examples from "Learn Physics with Functional Programming" - Scott N. Walck

   Haskell

5. math_lean math_lean Public

   Examples and exercises from "Mathematics in Lean" - Jeremy Avigad & Patrick Massot

   Lean

6. sicm sicm Public

   Emmy/Clerk template for exercises from "Structure and Interpretation of Classical Mechanics" (2e) - Gerald Jay Sussman and Jack Wisdom

   Clojure