Brendan Zabarauskas

icon indicating a website link http://voyager3.tumblr.com

icon company @yeslogic icon location Melbourne, Australia icon location I'm interested in how computers can extend human creativity, and how how type systems can be used as tools for thought. 👨‍🎨👨‍💻👨‍🔬

Results 12 repositories owned by Brendan Zabarauskas

algebra

60
Stars
9
Forks
Watchers

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

verified publisher icon brendanzab

approx

146
Stars
34
Forks
Watchers

Approximate floating point equality comparisons and assertions

verified publisher icon brendanzab

chronicle

38
Stars
5
Forks
Watchers

An event sourced CQRS framework for Rust

verified publisher icon brendanzab

codespan

1.0k
Stars
56
Forks
Watchers

Beautiful diagnostic reporting for text-based programming languages.

verified publisher icon brendanzab

color-rs

45
Stars
17
Forks
Watchers

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

verified publisher icon brendanzab

gl-rs

677
Stars
117
Forks
Watchers

An OpenGL function pointer loader for Rust

verified publisher icon brendanzab

rust-nbe-for-mltt

90
Stars
7
Forks
Watchers

Normalization by evaluation for Martin-Löf Type Theory with dependent records

verified publisher icon brendanzab

moniker

67
Stars
6
Forks
Watchers

Automagical variable binding library for Rust

verified publisher icon brendanzab

language-garden

130
Stars
4
Forks
Watchers

A garden of small programming language implementations 🪴

verified publisher icon brendanzab

ocaml-flake-example

45
Stars
7
Forks
Watchers

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

verified publisher icon brendanzab