brendanzab

codespan

Beautiful diagnostic reporting for text-based programming languages.

gl-rs

An OpenGL function pointer loader for Rust

approx

Approximate floating point equality comparisons and assertions

language-garden

A garden of small programming language implementations 🪴

rust-nbe-for-mltt

Normalization by evaluation for Martin-Löf Type Theory with dependent records

moniker

Automagical variable binding library for Rust

algebra

Abstract algebra for Rust (still very much a WIP!)

ocaml-flake-example

An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune

elm-stlc

Bidirectional type checker for the simply typed lambda calculus

lean-holes

Interactive holes for Lean 4

pikelet

🥞 (Please don’t repost, this is still a WIP) A friendly little systems language with first-class types.

fathom

🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧

vscode-mercury

Mercury language integration for VSCode

rust-visitors

Experimenting with visitors in Rust

annotated_latex_equations

Examples of how to create colorful, annotated equations in Latex using Tikz.

compiling-to-assembly-from-scratch

Source code for the book Compiling to Assembly from Scratch https://keleshev.com/compiling-to-assembly-from-scratch-the-book

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

firefox-data-docs

A guide for Mozilla's developers and data scientists to analyze and interpret the data gathered by the Firefox Telemetry system.

foam-template

Foam workpace template

home-manager

Manage a user environment using Nix [maintainer=@rycee]

lindenmayer

Shape Grammars in Prolog

makam

The Makam Metalanguage

marp-core

The core of Marp converter

mdBook

Create book from markdown files. Like Gitbook but implemented in Rust

mercury

The Mercury logic programming system.

opam2json

pl-thesaurus

proglangdesign.github.io

A website for the #proglangdesign community on freenode

RecordFlux

Formal message specification and generation of verifiable binary parsers and message generators

salsa

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.