Popular repositories Loading

1. relational-calculus-library-lean4 relational-calculus-library-lean4 Public

   Lean 11 2

2. old-type-theory-js old-type-theory-js Public

   Experimental Implementations of Type Theories in Javascript

   JavaScript 3 1

3. typescript-learning-notes typescript-learning-notes Public

   My notes and exercises for learning TypeScript

   TypeScript 2

4. typescript-type-theory typescript-type-theory Public

   Code for the video series TypeScript Type Theory

   TypeScript 2

5. lax-logic-in-lean lax-logic-in-lean Public

   Lean 2 1

6. math-projects math-projects Public

   Ideas in pure math in Haskell and Javascript. Also includes notes for MIT Programming with Categories course

   JavaScript 1