- Mountain View, CA
Stars
Lean 4 programming language and theorem prover
1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java
A curated list of falsehoods programmers believe
UpstandingHackers / hammer
Forked from abiggerhammer/hammerParser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
Uncensored Everpix metrics, financials and business data for your perusing
Vowpal Wabbit is a machine learning system which pushes the frontier of machine learning with techniques such as online, hashing, allreduce, reductions, learning2search, active, and interactive lea…
Distributed and fault-tolerant realtime computation: stream processing, continuous computation, distributed RPC, and more
Flask-based web front-end for monitoring RQ queues
On-the-fly recompiling and reloading in Erlang. Code without friction.
Generic simple-to-use web-based repository management software for Debian source/binary packages.