1ntEgr8

prr

Mailing list style code reviews for github

minimal-elf

Creating a minimal ELF file

Coqtail

Interactive Coq Proofs in Vim

simear

A beamer theme

CAMLBOY

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

magmide

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

monch

A Structured Shell for Linux

makesure

Simple task/command runner with declarative goals and dependencies

astro

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

imba

🐤 The friendly full-stack language

yolo-tree

A link tree clone

virgo

Graph-based Declarative Configuration Language

langjam

nvim-lua-guide

A guide to using Lua in Neovim

sail-riscv

Sail RISC-V model

every-git-commit-shorthash

Git repository with a commit for every single shorthash

koika

A core language for rule-based hardware design 🦑

bsc

Bluespec Compiler (BSC)

synox

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

static-rc

Compile-time reference counting

helix

A post-modern modal text editor.

cm

A config manager

ghstack

Submit stacked diffs to GitHub on the command line

orbit

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

haskell-resources

A List of Foundational Haskell Papers

src

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

maelstrom

A workbench for writing toy implementations of distributed systems.

preface

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

arss

An rss reader

logica

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