Skip to content
View mikhirurg's full-sized avatar
💭
I use hash to compare objects
💭
I use hash to compare objects
32 followers · 53 following

Achievements

Achievement: QuickdrawAchievement: Pull Shark

Achievements

Achievement: QuickdrawAchievement: Pull Shark

Block or report mikhirurg

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 is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
mikhirurg/README.md

Hi there 👋

🎯 GitHub Stats

Pinned Loading

  1. MemTRS-REPL MemTRS-REPL Public

    A simple REPL for experiments with Memory Term Rewriting Systems

    Java

  2. WPP2TRS WPP2TRS Public

    Java library that allows translating While++ programs into the LCTRS

    Java 1

  3. SPLCompiler SPLCompiler Public

    Simple Programming Language (SPL) compiler to the Simple Stack Machine (SSM)

    Java

  4. DerivationTreeBuilder DerivationTreeBuilder Public

    Automatic generation of the derivation proof trees for While programs

    Java

  5. CubeSolver CubeSolver Public

    Rubik's cube solver written in pure C++ with OpenGL 3d visualization

    C++

  6. isabelle_x86asm isabelle_x86asm Public

    Isabelle x86 assembly formalization

    Isabelle 1