Skip to content
🤔
Pondering type systems…
🤔
Pondering type systems…
Pro
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

Organizations

@yeslogic @servo @rust-lang @PistonDevelopers @gfx-rs @gluon-lang @proglangdesign @pikelet-lang
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

Pinned

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

    Rust 338 19

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

    Rust 68 4

  3. Beautiful diagnostic reporting for text-based programming languages.

    Rust 245 23

  4. A linear algebra and mathematics library for computer graphics.

    Rust 656 127

  5. An OpenGL function pointer loader for Rust

    Rust 474 102

  6. Approximate floating point equality comparisons and assertions

    Rust 73 19

1,447 contributions in the last year

May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Mon Wed Fri
Activity overview
Contributed to brendanzab/codespan, yeslogic/ddl, brendanzab/rust-nbe-for-mltt and 5 other repositories
Loading

Contribution activity

May 2020

2 contributions in private repositories May 4

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

You can’t perform that action at this time.