brendanzab
I'm interested in how computers can extend human creativity, and how how type systems can be used as tools for thought. 👨🎨👨💻👨🔬
@yeslogic Melbourne, Australia
Pinned Repositories
approx
Approximate floating point equality comparisons and assertions
codespan
Beautiful diagnostic reporting for text-based programming languages.
gl-rs
An OpenGL function pointer loader for Rust
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
pikelet
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
cgmath
A linear algebra and mathematics library for computer graphics.
fathom
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
brendanzab's Repositories
brendanzab/codespan
Beautiful diagnostic reporting for text-based programming languages.
brendanzab/gl-rs
An OpenGL function pointer loader for Rust
brendanzab/language-garden
A garden of small programming language implementations 🪴
brendanzab/approx
Approximate floating point equality comparisons and assertions
brendanzab/rust-nbe-for-mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
brendanzab/moniker
Automagical variable binding library for Rust
brendanzab/algebra
Abstract algebra for Rust (still very much a WIP!)
brendanzab/ocaml-flake-example
An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune
brendanzab/color-rs
A library that provides types and conversions for working with various color formats.
brendanzab/lean-holes
Interactive holes for Lean 4
brendanzab/elm-stlc
Bidirectional type checker for the simply typed lambda calculus
brendanzab/pikelet
🥞 (Please don’t repost, this is still a WIP) A friendly little systems language with first-class types.
brendanzab/fathom
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
brendanzab/vscode-mercury
Mercury language integration for VSCode
brendanzab/annotated_latex_equations
Examples of how to create colorful, annotated equations in Latex using Tikz.
brendanzab/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
brendanzab/dune
A composable build system for OCaml.
brendanzab/elaboration-zoo
Minimal implementations for dependent type checking and elaboration
brendanzab/firefox-data-docs
A guide for Mozilla's developers and data scientists to analyze and interpret the data gathered by the Firefox Telemetry system.
brendanzab/foam-template
Foam workpace template
brendanzab/home-manager
Manage a user environment using Nix [maintainer=@rycee]
brendanzab/lindenmayer
Shape Grammars in Prolog
brendanzab/makam
The Makam Metalanguage
brendanzab/marp-core
The core of Marp converter
brendanzab/mercury
The Mercury logic programming system.
brendanzab/ocaml-integers
Various signed and unsigned integer types for OCaml
brendanzab/opam2json
brendanzab/pl-thesaurus
brendanzab/proglangdesign.github.io
A website for the #proglangdesign community on freenode
brendanzab/RecordFlux
Formal message specification and generation of verifiable binary parsers and message generators