conornewton

Computational Statistics and Data Science (PhD) student at the University of Bristol.

Bristol/London

Pinned Repositories

BanditAlgorithms
Language:Jupyter Notebook0 2 00
conornewton.github.io
Language:HTML0 2 00
dotfiles
linux-dotfiles
Language:Shell3 2 00
friendly-snippets
Set of preconfigured snippets for different languages.
0 1 00
lean-sqrt2-irrational
A formal proof of the irrationality of sqrt(2) written in lean
Language:Lean0 2 00
localregression
Language:C++1 2 00
LuaSnip
Snippet Engine for Neovim written in Lua.
Language:Lua0 1 00
timetabling-bristol
Timetabling System for the University of Bristol
Language:C++1 2 00
vim-latex-preview
Latex Preview Plugin for Vim
Language:Vim Script15 2 02
vim-pandoc-markdown-preview
Vim plugin for previewing pandoc markdown
Language:Vim Script23 4 78

conornewton's Repositories

conornewton/vim-pandoc-markdown-preview
Vim plugin for previewing pandoc markdown
Language:Vim Script23 4 78
conornewton/vim-latex-preview
Latex Preview Plugin for Vim
Language:Vim Script15 2 02
conornewton/dotfiles
linux-dotfiles
Language:Shell3 2 00
conornewton/localregression
Language:C++1 2 00
conornewton/timetabling-bristol
Timetabling System for the University of Bristol
Language:C++1 2 00
conornewton/BanditAlgorithms
Language:Jupyter Notebook0 2 00
conornewton/conornewton.github.io
Language:HTML0 2 00
conornewton/friendly-snippets
Set of preconfigured snippets for different languages.
0 1 00
conornewton/lean-sqrt2-irrational
A formal proof of the irrationality of sqrt(2) written in lean
Language:Lean0 2 00
conornewton/LuaSnip
Snippet Engine for Neovim written in Lua.
Language:Lua0 1 00
conornewton/markdown-it-bibliography
Language:TypeScript1 0
conornewton/maze-generation-typescript
Language:JavaScript2 0
conornewton/SDL-idris
SDL bindings package for idris
Language:Idris2 0
conornewton/vim-dotfiles
Vim important need own repo
Language:Lua2 0