The Wayback Machine - https://web.archive.org/web/20200705042104/https://github.com/brendanzab
Skip to content
🐇
down a type system rabbit hole
🐇
down a type system rabbit hole
489 followers · 196 following · 2k

Organizations

@yeslogic @servo @rust-lang @PistonDevelopers @gfx-rs @gluon-lang @proglangdesign @pikelet-lang

Pinned

  1. 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 353 19

  2. codespan

    Beautiful diagnostic reporting for text-based programming languages.

    Rust 266 24

  3. rust-nbe-for-mltt

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

    Rust 68 4

  4. rustgd/cgmath

    A linear algebra and mathematics library for computer graphics.

    Rust 675 130

  5. gl-rs

    An OpenGL function pointer loader for Rust

    Rust 485 104

  6. approx

    Approximate floating point equality comparisons and assertions

    Rust 76 20

1,002 contributions in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Mon Wed Fri
Learn how we count contributions.
Less
More
Activity overview
Contributed to brendanzab/codespan, yeslogic/fathom, brendanzab/gl-rs and 5 other repositories

Contribution activity

July 2020

brendanzab has no activity yet for this period.

June 2020

Created an issue in brendanzab/gl-rs that received 5 comments

Seeking new maintainers for gl-rs

I currently don't have the mental bandwidth to maintain this library! Most of my current work is in programming languages, and it's a bit of a cont…

5 comments
10 contributions in private repositories Jun 11 – Jun 27
You can’t perform that action at this time.