Skip to content
GitHub no longer supports this web browser. Learn more about the browsers we support.
🤔
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 318 15

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

    Rust 65 4

  3. Utilities for dealing with source code locations and pretty diagnostic formatting

    Rust 158 17

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

    Rust 627 126

  5. An OpenGL function pointer loader for Rust

    Rust 453 99

  6. Approximate floating point equality comparisons and assertions

    Rust 63 18

1,450 contributions in the last year

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

Contribution activity

February 2020

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

You can’t perform that action at this time.