Skip to content
Avatar
🐇
down a type system rabbit hole
🐇
down a type system rabbit hole
  • Block or report user

    Report or block brendanzab

    Hide content and notifications from this user.

    Learn more about blocking users

    Contact Support about this user’s behavior.

    Learn more about reporting abuse

    Report abuse
493 followers · 200 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 277 27

  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 686 132

  5. gl-rs

    An OpenGL function pointer loader for Rust

    Rust 495 104

  6. approx

    Approximate floating point equality comparisons and assertions

    Rust 78 20

920 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

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.