Jon Ezeiza's repositories
lean-surreal-numbers
A formalization in Lean of the maths from the lovely book titled Surreal Numbers authored by Donald Knuth
python-rocksdb
Python bindings for RocksDB
affiliation_parser
Simple python parser for MEDLINE, Pubmed OA affiliation string
arrow-datafusion
Apache Arrow DataFusion SQL Query Engine
Language:RustApache-2.0000
matrix4x4-c
Basic set of 4x4 matrix operations. Can be used to replace OpenGL fixed-pipeline matrix operations.
n-gram-index
Python cpp-extension for fast substring search
python-telegram-bot-api
An interface with the Telegram Bot API through Python
QuestJS
A major re-write of Quest that is written in JavaScript and will run in the browser.
Language:JavaScriptMIT000
spinners
🛎 60+ Elegant terminal spinners for Rust
Language:RustMIT000