Cryptographic currency implementing Ouroboros PoS protocol

High-level assertion encoding to Z3 solver

A random startup website generator.

Standalone Ethereum Virtual Machine

An implementation of the Raft consensus protocol

Raft distributed consensus protocol (Haskell library)

Haskell implementation of Raft consensus algorithm

A framework for formally verifying distributed systems implementations in Coq

D3 Components for React

React bindings for Haskell

One-line Haskell Vim install

Material UI: Comprehensive React component library that implements Google's Material Design. Free forever.

Snabb: Simple and fast packet networking

Interactive, client-side web apps in Haskell

interprocess communication between Python and kdb+

An AngularJS (frontend) + Flask / Python (backend) Boilerplate Application

xlwings is a Python library that makes it easy to call Python from Excel and vice versa. It works with Excel on Windows and macOS as well as with Google Sheets and Excel on the web.

Canvas bindings for PureScript

Arduino library for interfacing with an IBM TrackPoint