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

an incremental approach to compiler construction

MySQL client library for Python

A sunny little virtual machine

simple HTTP client in Erlang

Simple Dynamic Strings library for C

Rpool is Eredis over PoolBoy

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…

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.

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

Fast n-dimensional filtering and grouping of records.

Simple, robust and performant Erlang web server

The NITC debian mirror website

Compiler for a loosely defined subset of 'C' language called Simple Integer Language

CSU203 - Data Structures & Algorithms Assignments, NIT Calicut

toying around!