The algebra (and calculus!) of algebraic data types

made by joel, submitted by vaibhavsagar
A simple question with a profound answer: what can we do with the derivative of an algebraic data type?

GrooveBasin

made by andrewrk, submitted by vaibhavsagar
A communal music server, where guests can chat and upload music!

Dissecting Git's Guts

made by emilyxxie, submitted by vaibhavsagar
A principled and approachable explanation of how Git actually works.

Announcing GitTorrent: A Decentralized GitHub

made by cjb, submitted by vaibhavsagar
How would you go about building a decentralised GitHub?

Hasquelle

made by Annie ByReferenceNotByValue Cherkaev, lamarqua, submitted by vaibhavsagar
Write Haskell in French, Russian, or German!

Noor

made by SimplyAhmazing, submitted by vaibhavsagar
An Arabic programming language with an IDE!

Unpacking Git packfiles

made by aditya, submitted by vaibhavsagar
The best explanation of Git's binary storage format I've found anywhere!

LambdaBTC

made by clample, submitted by vaibhavsagar
A bitcoin wallet in Haskell!

N-Body Simulations

made by adityavkk, submitted by vaibhavsagar
Performant n-body simulations with pretty diagrams!

An All-in-One DAG Toolkit

made and submitted by vaibhavsagar
This algorithm tells you if a given directed graph is acyclic or not and simultaneously puts its vertices into the most convenient order for processing, all in linear time!