Popular repositories Loading

1. t9r-class t9r-class Public

   Workshop on understanding transformers

   Jupyter Notebook 5 1

2. primes primes Public

   Forked from sebfisch/primes

   Prime Numbers for Haskell

   Haskell 1

3. coq-learning coq-learning Public

   Coq 1 2

4. js2-mode js2-mode Public

   An improved JavaScript editing mode

   Emacs Lisp

5. el-get el-get Public

   Forked from dimitri/el-get

   Manage the external elisp bits and pieces you depend upon

   Emacs Lisp

6. hmatrix hmatrix Public

   Forked from haskell-numerics/hmatrix

   Linear algebra and numerical computation

   C