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/sax-rs
DEPRECATED - use https://github.com/netvl/rust-xml/ instead.
brendanzab/mia-lang
A little concatenative language
brendanzab/efl-rs
Servo-specific wrapper for the relevant components of the Enlightenment Foundation Libraries.
brendanzab/gfx-rs
A lightweight graphics device manager for Rust
brendanzab/elm-compiler
Compiler for the Elm programming language. Elm aims to make web development more pleasant. Elm is a type inferred, functional reactive language that compiles to HTML, CSS, and JavaScript.
brendanzab/lisp.rs
Scheme Interpreter in Rust
brendanzab/git-workshop-playground
A playground for teaching git
brendanzab/arcball-cgmath
A simple arcball-style camera. Uses the cgmath-rs library
brendanzab/atom-language-idris
A Idris Mode for Atom.io
brendanzab/elm-bin
elm-platform bin-wrapper that makes it seamlessly available as a local dependency
brendanzab/elm-core
Elm's core libraries
brendanzab/elm-history
Elm bindings to HTML5 History API
brendanzab/eventual
A future & stream abstraction for Rust
brendanzab/fn_ops
Traits for function operator overloading
brendanzab/genmesh
A library of mesh generation utilities.
brendanzab/gfx_examples
Examples of using gfx-rs
brendanzab/gfx_gl
An OpenGL loader tailored to gfx-rs's needs.
brendanzab/gfx_macros
Utility macros for gfx-rs
brendanzab/git-workshop-2015-08
brendanzab/gleam
Generated OpenGL bindings and wrapper for Servo.
brendanzab/glium
Safe OpenGL wrapper for the Rust language.
brendanzab/glium_text
Text rendering with glium
brendanzab/helix
Ruby and Rust, sitting in a tree
brendanzab/rayon
Rayon: A data parallelism library for Rust
brendanzab/react-motion
A spring that solves your animation problems.
brendanzab/rust
WIP fork of the Rust Programming Language. See mozilla/rust for the main repository.
brendanzab/rust-bindgen
binding generator for rust language
brendanzab/rust-cocoa
Cocoa/Objective-C bindings for the Rust programming language
brendanzab/rust-core-foundation
Rust bindings to the Core Foundation library on Mac OS X and iOS
brendanzab/rust-xml
An XML parser in Rust