Discover @brendanzab Open Source projects

Brendan Zabarauskas (@brendanzab)

brendanzab

Stars
2,245
Global Rank 13,112 (Top 0.5 %)
Followers 730
Following 286
Registered about 13 years ago
Most used languages

Rust
70.4 %

Nix
7.4 %

D
7.4 %

Idris 3.7 %

OCaml
3.7 %

Lean 3.7 %

Elm
3.7 %
Location 🇦🇺 Australia
Country Total Rank 240
Country Ranking

Lean 2

OCaml
2

Rust
3

Idris 7

Nix
9

D
14

Elm
14

codespan

Beautiful diagnostic reporting for text-based programming languages.

gl-rs

An OpenGL function pointer loader for Rust

approx

Approximate floating point equality comparisons and assertions

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

moniker

Automagical variable binding library for Rust

algebra

Abstract algebra for Rust (still very much a WIP!)

color-rs

A library that provides types and conversions for working with various color formats.

ocaml-flake-example

An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune

chronicle

An event sourced CQRS framework for Rust

open.gl-tutorials

rusp

A minimal scripting and data language for Rust.

sax-rs

DEPRECATED - use https://github.com/netvl/rust-xml/ instead.

elm-stlc

Bidirectional type checker for the simply typed lambda calculus

bullet-rs

Bindings and wrapper for the Bullet physics C API.

mia-lang

A little concatenative language

vscode-mercury

Mercury language integration for VSCode

rust-visitors

Experimenting with visitors in Rust

glfwvbo

odyssey-engine-old

An experimental game engine written in D.

idris-power-of-pi

Parts of The Power of Pi, implemented in Idris

ieee754-rs

IEEE 754-2008 floating point arithmetic for Rust (WIP)

efl-rs

Servo-specific wrapper for the relevant components of the Enlightenment Foundation Libraries.

lean_tutorial_exercises

Answers to the exercises in the Lean tutorial

hedge

Indexed based half-edge mesh implementation

nixpkgs

My personal Nix configuration

rust-bay-area-2014-06

Demo OpenGL code from the Rust Bay Area meetup on Game Tech.

sdl2-rs

Rust bindings and wrapper for SDL2 (Incomplete!)