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

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback

Highlights

  • Pro

Organizations

@wonks @IUDataStructuresCourse @Gradual-Typing
Block or Report

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

  1. wonks/plrg wonks/plrg Public

    Home of the PL Reading Group

    HTML 5 2

  2. Gradual-Typing/LambdaIFCStar Gradual-Typing/LambdaIFCStar Public

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

    Agda 3

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

    Formalizations of Gradually Typed Languages in Agda

    Agda 54 3

  4. columbia/crane columbia/crane Public

    Transparent Paxos

    C++ 43 16