A declarative, type-safe UI library for PureScript.

Tensorflow code for the Bayesian GAN (https://arxiv.org/abs/1705.09558) (NIPS 2017)

git commit dependency analysis tool

Gerbil Scheme

RGB Driver for Linux and OS X

QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.

What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.

A C++ await/yield emulation library for stackless coroutine

Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of distributed transactions without two-phase commit. Most of …

Empowering everyone to build reliable and efficient software.

🧊 Чиста система з всесвітами

Source code accompanying the paper "Leveling Up Dependent Types"

Salt- A dependently-typed higher-order stateful concurrent language.

Partial translation of http://adam.chlipala.net/cpdt/ in Agda

Tiny type-checker with dependent types

Trie implemented with in an Erlang binary

A NoSql database and continuous map-reduce system written in Scala and Akka.

The Hanoi Key/Value Storage Engine

CAching Datastructure For Applications in ERLang