Skip to content
View martincmartin's full-sized avatar
3 followers · 0 following

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Block or report martincmartin

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

    A translation of Sheldon Axler's textbook Linear Algebra Done Right into Lean

    Lean 8 1

  2. weather weather Public

    E-Paper weather display for Invisible Computers

    Python 6 1

  3. linear_algebra_done_right linear_algebra_done_right Public

    The book Linear Algebra Done Right rendered in Lean 4.

    Lean 3

  4. MathematiciansAssistant MathematiciansAssistant Public

    Collaborative theorem prover

    Python 1

  5. march-madness march-madness Public

    Code to find your path to victory in your March Madness pool.

    C++ 1

  6. basic-computer-games basic-computer-games Public

    Forked from coding-horror/basic-computer-games

    An updated version of the classic "Basic Computer Games" book, with well-written examples in a variety of common MEMORY SAFE, SCRIPTING programming languages. See https://coding-horror.github.io/ba…

    C# 1