Pinned

1. kakoune.el kakoune.el Public

   A very simple simulation of the kakoune editor inside of emacs.

   Emacs Lisp 148 10

2. mcc mcc Public

   MicroC example compiler for Stephen Edward's PLT class, but in Haskell

   Haskell 112 13

3. blog blog Public

   HTML 1 1

4. laurenarnett/TensorFlock laurenarnett/TensorFlock Public

   A small functional tensor language with Einstein summation notation convention and shape-checking at compile-time.

   OCaml 8 1

5. open-strings open-strings Public

   Haskell 9

6. incremental-tsc incremental-tsc Public

   JavaScript