Neil Vyas's repositories
decentralized_etl
😇 modular, extensible, and loosely-coupled toy ETL pipeline using decorator registration
ucf_exchange_client
Client wrapper for `ucf_exchange`.
b4d455
human-readable hex codes 🤖
dataloader
DataLoader is a generic utility to be used as part of your application's data fetching layer to provide a consistent API over various backends and reduce requests to those backends via batching and caching.
deepwhite.nvim
DeepWhite colorscheme for Neovim.
denite.nvim
:dragon: Dark powered asynchronous unite all interfaces for Neovim/Vim8
detour.nvim
Use popup windows to navigate files/buffer and to contain shells/TUIs
dotfiles
Dotfiles under version control for work and personal use.
exchange
exchange backend written in haskell
freedRealAnalysis
Course notes and (post factum) homework assignments for M365C Real analysis with Dr. Freed.
gists
🍼⚠️🚸
GloriousHacks
what have I done to you, strategize
groupdesk
Collaboration app for Students and Teachers - 1st place prize at SOHacks
hypothesis-python
Advanced property-based (QuickCheck-like) testing for Python
ltex-ls.nvim
Enhanced integration of ltex-ls for neovim
neco-look
A neocomplcache plugin for English, using look command
neilvyas.github.io
website
neogit
An interactive and powerful Git interface for Neovim, inspired by Magit
nix-jupyter-env
An example nix environment for Jupyter (includes IHaskell and IPython kernels + utilities)
pyrsistent
Persistent/Immutable/Functional data structures for Python
randomized_notes
scribing for Price on 11-23
reg
Clever dispatch
RxJS
The Reactive Extensions for JavaScript
RxPY
Reactive Extensions for Python
theorem_proving_in_lean
Theorem proving in Lean
TypeDD-Samples
Sample code from "Type Driven Development with Idris"
typeshed
Collection of library stubs for Python, with static types
zen-mode.nvim
🧘 Distraction-free coding for Neovim