Popular repositoriesLoading

1. vim-pandoc-markdown-previewvim-pandoc-markdown-previewPublic

   Vim plugin for previewing pandoc markdown

   Vim Script 26 7

2. vim-latex-previewvim-latex-previewPublic

   Latex Preview Plugin for Vim

   Vim Script 16 3

3. dotfilesdotfilesPublic

   linux-dotfiles

   Shell 3

4. timetabling-bristoltimetabling-bristolPublic

   Timetabling System for the University of Bristol

   C++ 1

5. lean-sqrt2-irrationallean-sqrt2-irrationalPublic

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

   Lean 1

6. localregressionlocalregressionPublic

   C++ 1