A canister smart contract testing solution for the Internet Computer.

A next-gen serverless platform to build, deploy, and run modern apps with the privacy and control of self-hosting.

The polyfill implementation for WASI functions in the IC environment

WASI dependency replacer for the *.wasm files

Internet Computer blockchain source: the client/replica software run by nodes

Research WebAssembly Engine

Simple Markdown Wiki in your Dropbox.

Markov chain based next-word suggestions

A distributed computing framework for Haskell

Collection of various C++ snippets

Smaller, easier, more powerful, and more reliable than make. An implementation of djb's redo.

Equality Saturation for a small pure language

An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink.

x86-64 assembly as a Haskell EDSL

Shell Integration Library [Haskell]

A parser for Python 2.x and 3.x written in Haskell

The "Aristo" theme for Cappuccino ported to a jQuery UI Theme

Universal markup converter

An attempt at The Ultimate Vim Configuration™ with focus on Rails development. DEPRECATED, SEE https://github.com/vitaly/dotvim2

Password Gorilla manages passwords

Let's Build a Compiler (in Haskell)

Unfancy JavaScript

A static website compiler library in Haskell

ZeroMQ core engine in C++, implements ZMTP/3.1

The MongoDB Database

plu programming language implementation in Haskell

An efficient, embeddable DPLL SAT solver in Haskell