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. math-projects math-projects Public

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

   JavaScript 1

5. typescript-type-theory typescript-type-theory Public

   Code for the video series TypeScript Type Theory

   TypeScript 1

6. SimpleFlex SimpleFlex Public

   SimpleFlex PSD Conversion - Project for HackerYou Bootcamp

   CSS