Skip to content
View cty12's full-sized avatar
👾
hi
👾
hi
49 followers · 47 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Highlights

  • Pro

Organizations

@wonks @IUDataStructuresCourse @Gradual-Typing

Block or report cty12

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
cty12/README.md

Hi there!!

Pinned Loading

  1. Gradual-Typing/LambdaIFCStar Gradual-Typing/LambdaIFCStar Public

    The Agda mechanization of a gradual security-typed programming language with general mutable references.

    Agda 4 1

  2. wonks/plrg wonks/plrg Public

    Home of the PL Reading Group

    HTML 5 2

  3. jsiek/gradual-typing-in-agda jsiek/gradual-typing-in-agda Public

    Formalizations of Gradually Typed Languages in Agda

    TeX 57 3

  4. columbia/crane columbia/crane Public

    Transparent Paxos

    C++ 43 16