Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 31 Jul 2024
https://github.com/brendanzab/gl-rs
An OpenGL function pointer loader for Rust
binding-generator computer-graphics opengl rust
Last synced: 31 Jul 2024
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: 04 Aug 2024
https://github.com/brendanzab/approx
Approximate floating point equality comparisons and assertions
approximation assertions comparison equality floating-point math rust testing
Last synced: 02 Aug 2024
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: 03 Aug 2024
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: 03 Aug 2024
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: 02 Aug 2024
https://github.com/brendanzab/chronicle
An event sourced CQRS framework for Rust
cqrs database event-sourcing rust
Last synced: 01 Aug 2024