Skip to content
View cwjnkins's full-sized avatar
20 followers · 10 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Block or report cwjnkins

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. armor-agda armor-agda Public

    HTML 2 1

  2. cedille-developments cedille-developments Public

    Forked from cedille/cedille-developments

    A showcase of interesting code and proof developments in Cedille

  3. cedille-cast cedille-cast Public

    Forked from cedille/cedille-cast

    Source files used for the Cedille Cast videos

  4. cedille-core-spec cedille-core-spec Public

    Forked from astump/cedille-core-spec

    Specification of the Cedille Core language

    TeX

  5. cedilleum-spec cedilleum-spec Public

    Forked from astump/cedilleum-spec

    Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core

    TeX

  6. cwjnkins.github.io cwjnkins.github.io Public

    Personal Github page

    HTML