Projects in Awesome Lists by brendanzab
A curated list of projects in awesome lists by brendanzab .
https://github.com/brendanzab/codespan
Beautiful diagnostic reporting for text-based programming languages.
diagnostics error-reporting programming-languages rust source-code terminal
Last synced: 12 May 2025
https://github.com/brendanzab/language-garden
A garden of small programming language implementations 🪴
compilation compilers dependent-types elaboration l-systems programming-languages typechecking
Last synced: 05 Apr 2025
https://github.com/brendanzab/approx
Approximate floating point equality comparisons and assertions
approximation assertions comparison equality floating-point math rust testing
Last synced: 16 May 2025
https://github.com/brendanzab/rust-nbe-for-mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
bidirectional-typechecking debruijn-indices dependent-record-types dependent-records dependent-types normalization-by-evaluation rust semantic-typechecking type-checker type-inference type-system type-theory unification
Last synced: 08 Sep 2025
https://github.com/brendanzab/moniker
Automagical variable binding library for Rust
abstract-binding-trees alpha-equivalence debruijn-indices derive locally-nameless programming-languages rust unbound variable-binding
Last synced: 17 Mar 2025
https://github.com/brendanzab/algebra
Abstract algebra for Rust (still very much a WIP!)
Last synced: 18 Dec 2025
https://github.com/brendanzab/ocaml-flake-example
An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune
dune hello-world nix nix-flake ocaml
Last synced: 14 Oct 2025
https://github.com/brendanzab/color-rs
A library that provides types and conversions for working with various color formats.
Last synced: 09 Apr 2025
https://github.com/brendanzab/chronicle
An event sourced CQRS framework for Rust
cqrs database event-sourcing rust
Last synced: 21 Mar 2025
https://github.com/brendanzab/rusp
A minimal scripting and data language for Rust.
Last synced: 09 Apr 2025
https://github.com/brendanzab/elm-stlc
Bidirectional type checker for the simply typed lambda calculus
bidirectional-typechecking elm lambda-calculus simply-typed-lambda-calculus type-checking
Last synced: 09 Apr 2025
https://github.com/brendanzab/sax-rs
DEPRECATED - use https://github.com/netvl/rust-xml/ instead.
Last synced: 20 Oct 2025
https://github.com/brendanzab/bullet-rs
Bindings and wrapper for the Bullet physics C API.
Last synced: 12 Oct 2025
https://github.com/brendanzab/vscode-mercury
Mercury language integration for VSCode
Last synced: 13 Mar 2025
https://github.com/brendanzab/odyssey-engine-old
An experimental game engine written in D.
Last synced: 24 Dec 2025
https://github.com/brendanzab/rust-visitors
Experimenting with visitors in Rust
abstract-syntax-tree fusion rust visitor-pattern zero-overhead-abstraction
Last synced: 14 May 2025
https://github.com/brendanzab/idris-power-of-pi
Parts of The Power of Pi, implemented in Idris
Last synced: 02 Aug 2025
https://github.com/brendanzab/ieee754-rs
IEEE 754-2008 floating point arithmetic for Rust (WIP)
Last synced: 29 Dec 2025
https://github.com/brendanzab/lean_tutorial_exercises
Answers to the exercises in the Lean tutorial
dependent-types exercise-solutions lean
Last synced: 16 Jul 2025
https://github.com/brendanzab/efl-rs
Servo-specific wrapper for the relevant components of the Enlightenment Foundation Libraries.
Last synced: 26 Dec 2025
https://github.com/brendanzab/rust-bay-area-2014-06
Demo OpenGL code from the Rust Bay Area meetup on Game Tech.
Last synced: 13 Mar 2025
https://github.com/brendanzab/hedge
Indexed based half-edge mesh implementation
Last synced: 06 Oct 2025
https://github.com/brendanzab/sdl2-rs
Rust bindings and wrapper for SDL2 (Incomplete!)
Last synced: 26 Dec 2025
https://github.com/brendanzab/agda-logic-playground
Messing around with propositional logic in Agda
agda dependent-types mathematics proofs propositional-logic
Last synced: 16 Jun 2025
https://github.com/brendanzab/eve
An elegant and simple framework for fun and quick game development.
Last synced: 29 Dec 2025
https://github.com/brendanzab/fn_ops
Traits for function operator overloading
Last synced: 24 Aug 2025
https://github.com/brendanzab/git-workshop-playground
A playground for teaching git
Last synced: 02 Jan 2026
https://github.com/brendanzab/mindtree-home
Personal nix home-manager configuration.
Last synced: 25 Jun 2025