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. bash-git-prompt bash-git-prompt Public

   Forked from magicmonty/bash-git-prompt

   An informative and fancy bash prompt for Git users

   Shell 1

5. js2-mode js2-mode Public

   An improved JavaScript editing mode

   Emacs Lisp

6. el-get el-get Public

   Forked from dimitri/el-get

   Manage the external elisp bits and pieces you depend upon

   Emacs Lisp