Pinned Loading

1. zsh-git-prompt zsh-git-prompt Public

   Informative git prompt for zsh

   Haskell 1.7k 395

2. pychebfun/pychebfun pychebfun/pychebfun Public

   Python implementation of chebfun

   Python 92 17

3. python-latex-highlighting python-latex-highlighting Public

   LaTeX style for Python highlighting

   TeX 456 125

4. spacemacs-coq spacemacs-coq Public

   A very simple coq layer for spacemacs

   Emacs Lisp 36 23

5. bsplinelab bsplinelab Public

   Implementation of B-Splines in Python for various geometries

   Python 15 8

6. diffeopt diffeopt Public

   Optimisation on Diffeomorphisms

   Python 12 1