Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

Tools for concurrent programming in Rust

Fast time calls from user space.

Erlang buildpack

HTTP/2 Server for Erlang. Boy, that guy was a real chatterbox waddn't he? I didn't think he was ever going to stop with the story.

Implementations of various type systems in OCaml.

dtrace for linux - kernel driver and userland tools

S-expression source translation and macro expansion utility

Eventually, a greader-alike with better discussion features.

A diagnostic tool for Riak installations, to find common errors asap

Riak is a decentralized datastore from Basho Technologies.

ATTENTION: Please find the canonical repository here:

A very simple dictionary-based approach to interfacing with cassandra, inspired by Evan Wheeler's ruby interface.

functional python html generation library

Lisp Flavoured Erlang (LFE)