Popular repositories Loading

1. t9r-class t9r-class Public

   Workshop on understanding transformers

   Jupyter Notebook 2

2. primes primes Public

   Forked from sebfisch/primes

   Prime Numbers for Haskell

   Haskell 1

3. js2-mode js2-mode Public

   An improved JavaScript editing mode

   Emacs Lisp

4. el-get el-get Public

   Forked from dimitri/el-get

   Manage the external elisp bits and pieces you depend upon

   Emacs Lisp

5. hmatrix hmatrix Public

   Forked from haskell-numerics/hmatrix

   Linear algebra and numerical computation

   C

6. coq-learning coq-learning Public

   Coq 2