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

Distributed Systems Labs and Framework

A curated list of falsehoods programmers believe

Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.

Erlang Distributed Scheduler

an incremental approach to compiler construction

MySQL client library for Python

A sunny little virtual machine

Erlang Redis client

simple HTTP client in Erlang

Simple Dynamic Strings library for C

Rpool is Eredis over PoolBoy

Erlang Development Tool Suite

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…

Life - a timeline of important events in my life

Half profiler, half timer, 100% fun.

33 Questions

Distributed and fault-tolerant realtime computation: stream processing, continuous computation, distributed RPC, and more

Simple exponential backoffs in Erlang

Flask-based web front-end for monitoring RQ queues

On-the-fly recompiling and reloading in Erlang. Code without friction.

Ryan Zezeski's "working" blog

Python interpreter written in pure Erlang.

IRC Client for Chrome

Making the Internet better :D

Debian Team Activity Metrics

Generic simple-to-use web-based repository management software for Debian source/binary packages.

Prototype of Debian Teammetrics project