Skip to content
View keeganperry7's full-sized avatar
5 followers · 11 following
  • Stellenbosch University
  • Port Elizabeth, South Africa

Achievements

Achievement: Pull Sharkx2

Achievements

Achievement: Pull Sharkx2

Highlights

  • Pro

Block or report keeganperry7

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. dotfiles dotfiles Public

    Lua

  2. mathlib4 mathlib4 Public

    Forked from leanprover-community/mathlib4

    The math library of Lean 4

    Lean

  3. katydid-proofs katydid-proofs Public

    Forked from katydid/regex-deriv-lean

    Proofs written in Lean4 for the core katydid validation algorithm

    Lean

  4. symbolic-automatic-derivatives symbolic-automatic-derivatives Public

    Forked from katydid/regex-deriv-reproving-agda-in-lean

    Symbolic and Automatic Differentiation of Languages in Lean

    Lean

  5. the-little-typer-exercises the-little-typer-exercises Public

    Forked from awalterschulze/the-little-typer-exercises

    exercises for the book - the little typer

    Racket

  6. 2025-stellenbosch 2025-stellenbosch Public

    Forked from funexists/2025-stellenbosch

    2025 The Little Typer Reading Group in Stellenbosch

    CSS