Skip to content
View doctorn's full-sized avatar
🙊
partially evaluating
🙊
partially evaluating
134 followers · 0 following

Sponsors

@seanjensengrey

Achievements

Achievement: Starstruckx3Achievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Starstruckx3Achievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor
BetaSend feedback

Highlights

  • Pro

Organizations

@mitten-lang
Block or Report

Block or report doctorn

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

Pinned

  1. micro-mitten micro-mitten Public

    You might not need your garbage collector

    Rust 531 12

  2. trait-eval trait-eval Public

    We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???

    Rust 352 9

  3. obake obake Public

    Versioned data-structures for Rust

    Rust 202 8

  4. rust-lang/rust rust-lang/rust Public

    Empowering everyone to build reliable and efficient software.

    Rust 93.2k 12k

  5. frex-project/agda-fragment frex-project/agda-fragment Public

    Algebraic proof discovery in Agda

    Agda 31 2

  6. antidotfiles antidotfiles Public

    `nix-darwin` configuration

    Emacs Lisp