Join the platform over 31 million developers call home for hosting code, managing projects, and building their best software.

brendanzab Follow

🥞

Thinking about types…

Brendan Zabarauskas brendanzab

Block or report user

Contact Support about this user’s behavior.

Learn more about reporting abuse

Pro

I'm a poly-paradigm developer, primarily interested in how how type systems can be used as a tool for thought. I generate worlds in my spare time!

Organizations

pikelet-lang/pikelet

(Please don’t repost, this is still a WIP) A friendly little systems language with first-class types and unboxed data.

Rust 272 16
rust-nbe-for-mltt

Danny Gratzer's implementation of Normalization by Evaluation for Martin-Löf Type Theory, ported to Rust

Rust 46 3
codespan

Utilities for dealing with source code locations and pretty diagnostic formatting

Rust 68 12
rustgd/cgmath

A linear algebra and mathematics library for computer graphics.

Rust 547 119
gl-rs

An OpenGL function pointer loader for Rust

Rust 415 95
approx

Approximate floating point equality comparisons and assertions

Rust 51 15