Skip to content
View asajeffrey's full-sized avatar
💭
Alan passed away in July
💭
Alan passed away in July
165 followers · 2 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Starstruckx2Achievement: Pull Sharkx3

Achievements

Achievement: Pair ExtraordinaireAchievement: Starstruckx2Achievement: Pull Sharkx3

Organizations

@agda @servo @dfrp

Block or report asajeffrey

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. parsell parsell Public

    Parsell: an LL(1) parser combinator library for Rust

    Rust 73 5

  2. josephine josephine Public

    JS affine

    Rust 65 9

  3. wasm wasm Public

    Web Assembly

    Rust 49 4

  4. shared-data shared-data Public

    A Rust library for data structures living in shared memory.

    Rust 12 2

  5. finite-dtypes finite-dtypes Public

    Thoughts on finite dependent types

    TeX 6

  6. deep-clone deep-clone Public

    A trait for deep-cloning in Rust

    Rust 5 2