Skip to content
View mckirk's full-sized avatar
2 followers · 2 following

Achievements

Achievement: Pull SharkAchievement: YOLO

Achievements

Achievement: Pull SharkAchievement: YOLO

Block or report mckirk

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 Loading

  1. adventofcode adventofcode Public

    Python

  2. aocparser aocparser Public

    Python

  3. func-drat func-drat Public

    Functional implementation of a DRAT proof checker

    OCaml

  4. Isabelle_Cminor Isabelle_Cminor Public

    Connecting CompCert with the Isabelle/HOL ecosystem

    Isabelle