The Wayback Machine - https://web.archive.org/web/20200816183018/https://github.com/brendanzab
Skip to content
Avatar
🐇
down a type system rabbit hole
🐇
down a type system rabbit hole
492 followers · 201 following · 2.1k

Highlights

  • Arctic Code Vault Contributor

Organizations

@yeslogic @servo @rust-lang @PistonDevelopers @gfx-rs @gluon-lang @proglangdesign @pikelet-lang
brendanzab/README.md

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 378 20

  2. codespan

    Beautiful diagnostic reporting for text-based programming languages.

    Rust 278 28

  3. rust-nbe-for-mltt

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

    Rust 70 4

  4. rustgd/cgmath

    A linear algebra and mathematics library for computer graphics.

    Rust 690 132

  5. gl-rs

    An OpenGL function pointer loader for Rust

    Rust 497 105

  6. approx

    Approximate floating point equality comparisons and assertions

    Rust 78 20

921 contributions in the last year

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

Contribution activity

August 2020

You can’t perform that action at this time.