Name: Brendan Zabarauskas
Type: User
Company: @yeslogic
Bio: I'm interested in how computers can extend human creativity, and how how type systems can be used as tools for thought. π¨βπ¨π¨βπ»π¨βπ¬
Twitter: brendanzab
Location: Melbourne, Australia
Blog: http://voyager3.tumblr.com
Brendan Zabarauskas's Projects
Cocoa/Objective-C bindings for the Rust programming language
Rust bindings to the Core Foundation library on Mac OS X and iOS
Geometry primitives (basic linear algebra) for Rust
Normalization by evaluation for Martin-LΓΆf Type Theory with dependent records
OpenGL ES 2.0 bindings for Rust
Experimenting with visitors in Rust
An XML parser in Rust
A pure Rust alternative to libraries like FreeType.
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
DEPRECATED - use https://github.com/netvl/rust-xml/ instead.
Rust bindings and wrapper for SDL2 (Incomplete!)
The Servo Browser Engine
A package to add support for the Rust programming language to Sublime Text 2
Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.
Next generation File System β with support for O(1) snapshots, error correction, encryption, caching, and more. β contains official implementation of SeaHash
Mercury language integration for VSCode
Window handling library in pure Rust