Skip to content
View dirtymustache's full-sized avatar

Highlights

  • Pro

Block or report dirtymustache

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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. EmptyEpsilon EmptyEpsilon Public

    Forked from daid/EmptyEpsilon

    Open source bridge simulator. Build with the SeriousProton engine.

    Lua

  2. SeriousProton SeriousProton Public

    Forked from daid/SeriousProton

    C++ game engine coded on top of SDL from scratch. There will be dragons and undocumented stuff in here.

    C

  3. mathlib4 mathlib4 Public

    Forked from leanprover-community/mathlib4

    The math library of Lean 4

    Lean

  4. mathematics_in_lean mathematics_in_lean Public

    Forked from leanprover-community/mathematics_in_lean

    The user home repository for the Mathematics in Lean tutorial.

    HTML

  5. lean4game lean4game Public

    Forked from leanprover-community/lean4game

    Server to host Lean games

    TypeScript

  6. observer-patch-holography observer-patch-holography Public

    Forked from FloatingPragma/observer-patch-holography

    OPH is an active research program aiming to construct a fundamental theory of physics from observer consistency.

    Python