Multi platform setup for Coq, Coq libraries and tools

Containerize your development and continuous integration environments. 🥂

Electric Clojure: full-stack differential dataflow for UI

Visual Studio Code extension for Coq

🚧 a work in progress effect system for Haskell 🚧

A home for all your notes.

An implementation of single-decree Paxos.

A simple project to demonstrate the cross-platform release management process I use for my open source work.

A theme for the Base16 color system.

My configuration files.

Data interchange with algebraic data types.

Resources for learning Category Theory for an enthusiast

A simple password manager with a twist.

My personal repository of formally verified mathematics.

Docuum performs least recently used (LRU) eviction of Docker images. 🗑️

Tagref helps you manage cross-references in your code.

A fast, flexible, fused effect system for Haskell

Don't Fear the Profunctor Optics!

The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.

A cross-platform, OpenGL terminal emulator.

Functional programming with fewer indirections

A Coq library for Homotopy Type Theory

A demo implementation of a simple dependently-typed language

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

Hash pass implementation for Android

Small functional language that compiles to JavaScript.