- Mountain View, CA
Stars
Lean 4 programming language and theorem prover
Flask-based web front-end for monitoring RQ queues
Tornado is a Python web framework and asynchronous networking library, originally developed at FriendFeed.
On-the-fly recompiling and reloading in Erlang. Code without friction.
A curated list of falsehoods programmers believe
Fast n-dimensional filtering and grouping of records.
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…
1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java
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
xkcd CLI + jQuery terminal implementation
Distributed and fault-tolerant realtime computation: stream processing, continuous computation, distributed RPC, and more