Collection of functions and scripts to debug Erlang in production.

A load-testing framework for running massively parallel tests

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

Verdi framework runtime library

Simple, resilient multi-host containers networking and more.

Comprehensive framework to build network actors and distributed applications

OrientDB is the most versatile DBMS supporting Graph, Document, Reactive, Full-Text and Geospatial models in one Multi-Model product. OrientDB can run distributed (Multi-Master), supports SQL, ACID…

An optimized general monad transformer for streaming applications, with a simple prelude of functions

Count lines of code quickly.

Release with confidence, state-of-the-art property testing for Haskell.

A (Haskell DSL) stream language for generating hard real-time C code.

Data frames for tabular data.

Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

The Eta Programming Language, a dialect of Haskell on the JVM

Using Arrows to model parallel processes/computations.

🎯 Testing your project locally in a clean environment.

self-hosted IRC gateway to Slack

A Zookeeper backend for Cloud Haskell.

Net::TNS, a Ruby library for connecting to Oracle databases.

Oracle Database driver for Erlang

TDS Driver for Elixir

Project: M36 Relational Algebra Engine

Distributed Cached C++ Compilation

Collaborating autonomous agents for systems management

Low-memory-footprint mutexes for pthreads

A set of nagios checks for RabbitMQ using the management interface

Munin-plugins for RabbitMQ

A Distributed Systems Testing Framework

Benchmark of Haskell Priority Search Queue implementations