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.

MySQL client library for Python

simple HTTP client in Erlang

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

A curated list of falsehoods programmers believe

Simple Dynamic Strings library for C

Distributed Systems Labs and Framework

Fast n-dimensional filtering and grouping of records.

Erlang Development Tool Suite

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

Life - a timeline of important events in my life

Erlang Redis client

A simple extendable irc bot in Erlang

Parser 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

Cross-platform Python mouse module

Simple exponential backoffs in Erlang

Ryan Zezeski's "working" blog

an incremental approach to compiler construction

Simple, robust and performant Erlang web server

Erlang Distributed Scheduler

xkcd CLI + jQuery terminal implementation

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

An IRC client library for Erlang

A sunny little virtual machine

Half profiler, half timer, 100% fun.