Popular repositories Loading

1. vim-pandoc-markdown-preview vim-pandoc-markdown-preview Public

   Vim plugin for previewing pandoc markdown

   Vim Script 26 7

2. vim-latex-preview vim-latex-preview Public

   Latex Preview Plugin for Vim

   Vim Script 16 3

3. dotfiles dotfiles Public

   linux-dotfiles

   Shell 3

4. lean-sqrt2-irrational lean-sqrt2-irrational Public

   A formal proof of the irrationality of sqrt(2) written in lean

   Lean 2

5. timetabling-bristol timetabling-bristol Public

   Timetabling System for the University of Bristol

   C++ 1

6. localregression localregression Public

   C++ 1