Universal markup converter

The MongoDB Database

Unfancy JavaScript

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

A static website compiler library in Haskell

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

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

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

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

Research WebAssembly Engine

Password Gorilla manages passwords

A distributed computing framework for Haskell

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

Let's Build a Compiler (in Haskell)

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

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

Shell Integration Library [Haskell]

An efficient, embeddable DPLL SAT solver in Haskell

x86-64 assembly as a Haskell EDSL

A canister smart contract testing solution for the Internet Computer.

WASI dependency replacer for the *.wasm files

The polyfill implementation for WASI functions in the IC environment

Simple Markdown Wiki in your Dropbox.

plu programming language implementation in Haskell

Equality Saturation for a small pure language

Collection of various C++ snippets

Markov chain based next-word suggestions