Meet Patel's starred repositories
tree-sitter
An incremental parsing system for programming tools
rateslib
A fixed income library for pricing bonds and bond futures, and derivatives such as IRS, cross-currency and FX swaps. Contains tools for full Curveset construction with market standard optimisers and automatic differention (AD) and risk sensitivity calculations including delta and cross-gamma.
matplotplusplus
Matplot++: A C++ Graphics Library for Data Visualization 📊🗾
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
tectonicdb
Database for L2 orderbook
emacs-which-key
Emacs package that displays available keybindings in popup