Popular repositories Loading

1. emacs.d emacs.d Public

   My personal emacs configuration

   Emacs Lisp 26 6

2. sicp-exercises-elisp sicp-exercises-elisp Public

   Exercises from the book SICP using Elisp

   Emacs Lisp 13 1

3. ESOP2019-artifact ESOP2019-artifact Public

   Distributive Disjoint Polymorphism for Compositional Programming

   Coq 5

4. papers-phd papers-phd Public

   Being archives for papers/projects I've worked on in my PhD studies.

   TeX 5

5. PhD-thesis PhD-thesis Public

   TeX 4 1

6. first-class-trait first-class-trait Public archive

   Type system for first-class traits

   Haskell 3