brendanzab
I'm interested in how computers can extend human creativity, and 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/open.gl-tutorials
DEPRECATED
brendanzab/rusp
A minimal scripting and data language for Rust.
brendanzab/bullet-rs
Bindings and wrapper for the Bullet physics C API.
brendanzab/glfwvbo
brendanzab/odyssey-engine-old
An experimental game engine written in D.
brendanzab/Derelict3
A collection of dynamic D bindings to C libraries, useful for multimedia and game development.
brendanzab/ieee754-rs
IEEE 754-2008 floating point arithmetic for Rust (WIP)
brendanzab/rust-bay-area-2014-06
Demo OpenGL code from the Rust Bay Area meetup on Game Tech.
brendanzab/rust-opengles
OpenGL ES 2.0 bindings for Rust
brendanzab/sdl2-rs
Rust bindings and wrapper for SDL2 (Incomplete!)
brendanzab/eve
An elegant and simple framework for fun and quick game development.
brendanzab/idris-mode
Idris syntax highlighting, interactive REPL and more things for emacs.
brendanzab/khronos-api
Mirror of the khronos api svn repository
brendanzab/quickcheck
QuickCheck for Rust (with shrinking).
brendanzab/rfcs
RFCs for changes to Rust
brendanzab/rparse
Parser combinator library written using the Rust language
brendanzab/rray
Raytracer written in rust.
brendanzab/rust-geom
Geometry primitives (basic linear algebra) for Rust
brendanzab/servo
The Servo Browser Engine
brendanzab/sublime-rust
A package to add support for the Rust programming language to Sublime Text 2