Brendan Zabarauskas's repositories
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
ocaml-flake-example
An overly elaborate example of building a βHello Worldβ package with Nix flakes, OCaml, and Dune
lean-holes
Interactive holes for Lean 4
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
proglangdesign.github.io
A website for the #proglangdesign community on freenode
RecordFlux
Formal message specification and generation of verifiable binary parsers and message generators