Popular repositories Loading

1. swcursor swcursor Public

   Large software cursor for screen recording on X11

   C 27 6

2. numpyo-examples numpyo-examples Public

   Numpyro examples in Python notebooks

   Jupyter Notebook 11 2

3. curry-howard-iso curry-howard-iso Public

   Example of the Curry Howard isomorphism

   Haskell 8 2

4. linear-logic linear-logic Public

   Linear logic theorem prover and proof explorer

   TeX 7 1

5. deco deco Public

   A magical programming language

   Haskell 6

6. rasta rasta Public

   Parser and AST builder

   Ruby 4