Brendan Zabarauskas

codespan. Beautiful diagnostic reporting for text-based programming languages.

language-garden. A garden of small programming language implementations 🪴

approx. Approximate floating point equality comparisons and assertions

rust-nbe-for-mltt. Normalization by evaluation for Martin-Löf Type Theory with dependent records

moniker. Automagical variable binding library for Rust

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

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

color-rs. A library that provides types and conversions for working with various color formats.

chronicle. An event sourced CQRS framework for Rust

lean-holes. Interactive holes for Lean 4

open.gl-tutorials. DEPRECATED

rusp. A minimal scripting and data language for Rust.

elm-stlc. Bidirectional type checker for the simply typed lambda calculus

sax-rs. DEPRECATED - use https://github.com/netvl/rust-xml/ instead.

mia-lang. A little concatenative language

bullet-rs. Bindings and wrapper for the Bullet physics C API.

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

idris-power-of-pi. Parts of The Power of Pi, implemented in Idris

odyssey-engine-old. An experimental game engine written in D.

glfwvbo. D

efl-rs. Servo-specific wrapper for the relevant components of the Enlightenment Foundation Libraries.

Derelict3. A collection of dynamic D bindings to C libraries, useful for multimedia and game development.

ieee754-rs. IEEE 754-2008 floating point arithmetic for Rust (WIP)

gfx-rs. A lightweight graphics device manager for Rust

agda-logic-playground. Messing around with propositional logic in Agda

lean_tutorial_exercises. Answers to the exercises in the Lean tutorial

hedge. Indexed based half-edge mesh implementation

alga. Abstract algebra for Rust.

lisp.rs. Scheme Interpreter in Rust

rust-bay-area-2014-06. Demo OpenGL code from the Rust Bay Area meetup on Game Tech.

sdl2-rs. Rust bindings and wrapper for SDL2 (Incomplete!)

rust-opengles. OpenGL ES 2.0 bindings for Rust