Skip to content
View mlevatich's full-sized avatar
9 followers · 4 following

Achievements

Achievement: Pull Sharkx2

Achievements

Achievement: Pull Sharkx2

Highlights

  • Pro

Block or report mlevatich

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

    Become the knight Abelon and take on the world.

    Lua 2

  2. amritrau/shadow-hunters amritrau/shadow-hunters Public

    Online multiplayer deduction-based survival game

    Python 18 10

  3. guy-battle guy-battle Public

    A shared-keyboard 2D fighting game I wrote in C and SDL!

    C 2 1

  4. sls-reachability sls-reachability Public

    Code and benchmarks for paper presented at VMCAI 2020, "Solving LIA* Using Approximations" by Maxwell Levatich, Nikolaj Bjørner, Ruzica Pisakc, and Sharon Shoham

    SMT 1 2