Skip to content
View paulyoung's full-sized avatar
💭
Type check and prove things
💭
Type check and prove things
302 followers · 163 following

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Galaxy BrainAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx3

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Galaxy BrainAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx3

Organizations

@codebase-labs
Block or Report

Block or report paulyoung

Report abuse

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

Report abuse

Pinned Loading

  1. codebase-labs/git-remote-icp codebase-labs/git-remote-icp Public

    A Git remote helper for the Internet Computer Protocol.

    Rust 7 1

  2. codebase-labs/icfs codebase-labs/icfs Public

    Internet Computer File System

    Rust 38 4

  3. nixpkgs-dfinity-sdk nixpkgs-dfinity-sdk Public

    Nixpkgs overlay for the DFINITY SDK.

    Nix 3

  4. purescript-prettier-printer purescript-prettier-printer Public

    An implementation of "A prettier printer" (Wadler 2003) in PureScript.

    PureScript 29 4

  5. purescript-invertible-syntax purescript-invertible-syntax Public

    A PureScript implementation of invertible syntax descriptions, from the paper "Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing" (Rendel and Ostermann 2010)

    PureScript 7 2

  6. purescript-partial-isomorphisms purescript-partial-isomorphisms Public

    A PureScript implementation of partial isomorphisms, from the paper Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing (Rendel and Ostermann 2010)

    PureScript 5 2