Popular repositories Loading

1. site-lisp site-lisp Public

   Local elisp hacks

   Shell 1

2. org-agda-mode org-agda-mode Public

   Forked from alhassy/org-agda-mode

   An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.

   Emacs Lisp 1

3. smalltt smalltt Public

   Forked from AndrasKovacs/smalltt

   Demo for high-performance type theory elaboration

   Lean 1

4. pie-hs pie-hs Public

   Forked from david-christiansen/pie-hs

   An implementation of Pie in Haskell

   Haskell 1

5. geodetics geodetics Public

   Forked from PaulJohnson/geodetics

   Haskell library of data types and calculations for positions on planet Earth

   Haskell

6. ematrix ematrix Public

   C++