Skip to content
View mikhirurg's full-sized avatar
💭
I use hash to compare objects
💭
I use hash to compare objects
27 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 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
mikhirurg/README.md

Hi there 👋

🎯 GitHub Stats

Pinned Loading

  1. WPP2TRS WPP2TRS Public

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

    Java 1

  2. SPLCompiler SPLCompiler Public

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

    Java

  3. DerivationTreeBuilder DerivationTreeBuilder Public

    Automatic generation of the derivation proof trees for While programs

    Java

  4. CubeSolver CubeSolver Public

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

    C++ 1

  5. isabelle_x86asm isabelle_x86asm Public

    Isabelle x86 assembly formalization

    Isabelle 1

  6. LensRayTracing LensRayTracing Public

    Ray tracing and rays trajectory modeling for the cylindrical lens and single light source

    Java