conornewton

gym

A toolkit for developing and comparing reinforcement learning algorithms.

typst

A new markup-based typesetting system that is powerful and easy to learn.

tqdm

:zap: A Fast, Extensible Progress Bar for Python and CLI

spaceship-prompt

:rocket::star: Minimalistic, powerful and extremely customizable Zsh prompt

onedrive

OneDrive Client for Linux

neorg

Modernity meets insane extensibility. The future of organizing your life in Neovim.

PyBoy

Game Boy emulator written in Python

GalaxyBudsClient

Unofficial Galaxy Buds Manager for Windows, macOS, Linux, and Android

orgmode

Orgmode clone written in Lua for Neovim 0.9+.

PettingZoo

An API standard for multi-agent reinforcement learning environments, with popular reference environments and related utilities

hop.nvim

Neovim motions on speed!

goneovim

A GUI frontend for neovim.

dressing.nvim

Neovim plugin to improve the default vim.ui interfaces

mathlib4

The math library of Lean 4

nyoom.nvim

A Neovim framework and doom emacs alternative for the stubborn martian hacker. Powered by fennel and the oxocarbon theme

hologram.nvim

👻 A cross platform terminal image viewer for Neovim. Extensible and fast, written in Lua and C. Works on macOS and Linux.

magma-nvim

Interact with Jupyter from NeoVim.

ltex-ls

LTeX Language Server: LSP language server for LanguageTool :mag::heavy_check_mark: with support for LaTeX :mortar_board:, Markdown :pencil:, and others

nabla.nvim

take your scientific notes :pencil2: in Neovim

vim-jukit

Jupyter-Notebook inspired Neovim/Vim Plugin

hotpot.nvim

:stew: Carl Weathers #1 Neovim Plugin.

dotfiles

My dotfiles: Experimental, ongoing configuration files, development environment and scripts for various Unix-like systems, text-based command-line applications and interfaces.

esbmc

The efficient SMT-based context-bounded model checker (ESBMC)

lean.nvim

neovim support for the Lean theorem prover

remote-sshfs.nvim

Explore, edit, and develop on a remote machine via SSHFS with Neovim

citation-js

Core functionality of Citation.js, as well as the original plugins (CSL, BibTeX, RIS, DOI, Wikidata, and BibJSON)

gof5

Open Source F5 BIG-IP VPN client for Linux, MacOS, FreeBSD and Windows

gui-widgets.nvim

hologram.nvim

👻 A cross platform terminal image viewer for Neovim. Extensible and fast, written in Lua and C. Works on macOS and Linux.

f5vpn-login

FirePass F5 command line VPN client