Popular repositories

1. latex-preview-pane Public

   Makes LaTeX editing less painful by providing a updatable preview pane

   Emacs Lisp 120 21

2. multi-tenant-angular Public

   TypeScript 20 12

3. cam Public

   Haskell implementation of the categorical abstract machine

   Haskell 9 3

4. Verily Public

   Verily is a web framework for creating continuously verified applications

   Java 4 3

5. spekl-package-manager Public

   Spekl is a system designed to make the specification authoring lifecycle easier.

   Clojure 2 1

6. confluence-command-line Public

   Python 2