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

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

Deprecated Catapult GitHub. Please instead use http://crbug.com "Speed>Benchmarks" component for bugs and https://chromium.googlesource.com/catapult for downloading and editing source code..

A canister smart contract testing solution for the Internet Computer.

Universal markup converter

Research WebAssembly Engine

A static website compiler library in Haskell

The MongoDB Database

The polyfill implementation for WASI functions in the IC environment

WASI dependency replacer for the *.wasm files

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

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

Shell Integration Library [Haskell]

Password Gorilla manages passwords

Unfancy JavaScript

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

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

Let's Build a Compiler (in Haskell)

Simple Markdown Wiki in your Dropbox.

Equality Saturation for a small pure language

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

An efficient, embeddable DPLL SAT solver in Haskell

Markov chain based next-word suggestions

A distributed computing framework for Haskell

plu programming language implementation 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.

Collection of various C++ snippets

x86-64 assembly as a Haskell EDSL