conornewton

Conor Newton's repositories

Vim plugin for previewing pandoc markdown

Language:Vim ScriptGPL-3.023 4 7

Latex Preview Plugin for Vim

Language:Vim ScriptGPL-3.015 20

linux-dotfiles

Language:Shell3 20

Language:C++1 20

Timetabling System for the University of Bristol

Language:C++1 20

Language:Jupyter Notebook020

Language:HTML020

Set of preconfigured snippets for different languages.

MIT010

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

Language:Lean020

Snippet Engine for Neovim written in Lua.

Language:LuaApache-2.0010

Language:TypeScript010

Language:JavaScript020

SDL bindings package for idris

Language:Idris020

Vim important need own repo

Language:Lua020