Mailing list style code reviews for github

Creating a minimal ELF file

Interactive Coq Proofs in Vim

A beamer theme

A Game Boy emulator written in OCaml that runs in your browser 🐫 🎮

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

A Structured Shell for Linux

Simple task/command runner with declarative goals and dependencies

The web framework for content-driven websites. ⭐️ Star to support our work!

🐤 The friendly full-stack language

A link tree clone

Graph-based Declarative Configuration Language

A guide to using Lua in Neovim

Sail RISC-V model

Git repository with a commit for every single shorthash

A core language for rule-based hardware design 🦑

Bluespec Compiler (BSC)

Rust library for program synthesis of string transformations from input-output examples 🔮

Compile-time reference counting

A post-modern modal text editor.

A config manager

Submit stacked diffs to GitHub on the command line

Experimental spaced repetition platform for exploring ideas in memory augmentation and programmable attention

A List of Foundational Haskell Papers

Read-only git conversion of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.

A workbench for writing toy implementations of distributed systems.

Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.

An rss reader

Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.