conornewton
Computational Statistics and Data Science (PhD) student at the University of Bristol.
Bristol/London
conornewton's Stars
openai/gym
A toolkit for developing and comparing reinforcement learning algorithms.
tqdm/tqdm
:zap: A Fast, Extensible Progress Bar for Python and CLI
spaceship-prompt/spaceship-prompt
:rocket::star: Minimalistic, powerful and extremely customizable Zsh prompt
abraunegg/onedrive
OneDrive Client for Linux
nvim-neorg/neorg
Modernity meets insane extensibility. The future of organizing your life in Neovim.
mfussenegger/nvim-dap
Debug Adapter Protocol client implementation for Neovim
Baekalfen/PyBoy
Game Boy emulator written in Python
ThePBone/GalaxyBudsClient
Unofficial Galaxy Buds Manager for Windows, macOS, and Linux
nvim-orgmode/orgmode
Orgmode clone written in Lua for Neovim 0.9+.
Farama-Foundation/PettingZoo
An API standard for multi-agent reinforcement learning environments, with popular reference environments and related utilities
phaazon/hop.nvim
Neovim motions on speed!
akiyosi/goneovim
A GUI frontend for neovim.
stevearc/dressing.nvim
Neovim plugin to improve the default vim.ui interfaces
edluffy/hologram.nvim
👻 A cross platform terminal image viewer for Neovim. Extensible and fast, written in Lua and C. Works on macOS and Linux.
leanprover-community/mathlib4
The math library of Lean 4
dccsillag/magma-nvim
Interact with Jupyter from NeoVim.
valentjn/ltex-ls
LTeX Language Server: LSP language server for LanguageTool :mag::heavy_check_mark: with support for LaTeX :mortar_board:, Markdown :pencil:, and others
jbyuki/nabla.nvim
take your scientific notes :pencil2: in Neovim
luk400/vim-jukit
Jupyter-Notebook inspired Neovim/Vim Plugin
CRAG666/code_runner.nvim
Neovim plugin.The best code runner you could have, it is like the one in vscode but with super powers, it manages projects like in intellij but without being slow
kkharji/lspsaga.nvim
The neovim language-server-client UI
kutsan/dotfiles
My dotfiles: Experimental, ongoing configuration files, development environment and scripts for various Unix-like systems, text-based command-line applications and interfaces.
esbmc/esbmc
The efficient SMT-based context-bounded model checker (ESBMC)
Julian/lean.nvim
neovim support for the Lean theorem prover
citation-js/citation-js
Core functionality of Citation.js, as well as the original plugins (CSL, BibTeX, RIS, DOI, Wikidata, and BibJSON)
kayrus/gof5
Open Source F5 BIG-IP VPN client for Linux, MacOS, FreeBSD and Windows
vigoux/LanguageTool.nvim
An asynchronous grammar checker for Neovim using LanguageTool
yatli/gui-widgets.nvim
romgrk/hologram.nvim
👻 A cross platform terminal image viewer for Neovim. Extensible and fast, written in Lua and C. Works on macOS and Linux.
cmorty/f5vpn-login
FirePass F5 command line VPN client