- Melbourne, Australia
- http://voyager3.tumblr.com
- @brendan@types.pl
- @brendanzab
-
language-garden Public
A garden of small programming language implementations πͺ΄
-
codespan Public
Beautiful diagnostic reporting for text-based programming languages.
-
-
approx Public
Approximate floating point equality comparisons and assertions
-
gl-rs Public
An OpenGL function pointer loader for Rust
-
ocaml-flake-example Public
An overly elaborate example of building a βHello Worldβ package with Nix flakes, OCaml, and Dune
-
-
fathom Public
Forked from yeslogic/fathomπ§ (Alpha stage software) A declarative data definition language for formally specifying binary data formats. π§
-
mercury Public
Forked from Mercury-Language/mercuryThe Mercury logic programming system.
Mercury Other UpdatedAug 18, 2022 -
rust-nbe-for-mltt Public
Normalization by evaluation for Martin-LΓΆf Type Theory with dependent records
-
RecordFlux Public
Forked from AdaCore/RecordFluxFormal message specification and generation of verifiable binary parsers and message generators
Ada GNU Affero General Public License v3.0 UpdatedJun 2, 2022 -
annotated_latex_equations Public
Forked from synercys/annotated_latex_equationsExamples of how to create colorful, annotated equations in Latex using Tikz.
TeX MIT License UpdatedJan 10, 2022 -
home-manager Public
Forked from nix-community/home-managerManage a user environment using Nix [maintainer=@rycee]
Nix MIT License UpdatedJan 8, 2022 -
algebra Public
Abstract algebra for Rust (still very much a WIP!)
-
foam-template Public template
Forked from foambubble/foam-templateFoam workpace template
HTML UpdatedDec 8, 2021 -
-
elaboration-zoo Public
Forked from AndrasKovacs/elaboration-zooMinimal implementations for dependent type checking and elaboration
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJun 8, 2021 -
pikelet Public
Forked from pikelet-lang/pikeletπ₯ (Please donβt repost, this is still a WIP) A friendly little systems language with first-class types.
-
compiling-to-assembly-from-scratch Public
Forked from keleshev/compiling-to-assembly-from-scratchSource code for the book Compiling to Assembly from Scratch https://keleshev.com/compiling-to-assembly-from-scratch-the-book
TypeScript UpdatedMar 31, 2021 -
makam Public
Forked from astampoulis/makamThe Makam Metalanguage
OCaml GNU General Public License v3.0 UpdatedFeb 21, 2021 -
vscode-mercury Public
Mercury language integration for VSCode
-
firefox-data-docs Public
Forked from mozilla/data-docsA guide for Mozilla's developers and data scientists to analyze and interpret the data gathered by the Firefox Telemetry system.
CSS Mozilla Public License 2.0 UpdatedSep 1, 2020 -
marp-core Public
Forked from marp-team/marp-coreThe core of Marp converter
TypeScript MIT License UpdatedAug 21, 2020 -
elm-stlc Public
Bidirectional type checker for the simply typed lambda calculus
-
moniker Public
Automagical variable binding library for Rust
-
lindenmayer Public
Forked from rskew/lindenmayerShape Grammars in Prolog
Prolog UpdatedFeb 6, 2019 -
proglangdesign.github.io Public
Forked from proglangdesign/proglangdesign.github.ioA website for the #proglangdesign community on freenode
HTML MIT License UpdatedJan 8, 2019 -
salsa Public
Forked from salsa-rs/salsaA generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
Rust Apache License 2.0 UpdatedOct 3, 2018 -
mdBook Public
Forked from rust-lang/mdBookCreate book from markdown files. Like Gitbook but implemented in Rust
Rust Mozilla Public License 2.0 UpdatedJul 29, 2018 -
rust-visitors Public
Experimenting with visitors in Rust