Skip to content
View Izzimach's full-sized avatar
Block or Report

Block or report Izzimach

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
Izzimach/README.md
  • Hi, I’m @Izzimach

  • 👀 I’m interested in ...

    • High-performance graphics
    • Writing concurrent/multithreaded programs
    • Ways to making sure concurrent/multithreaded programs don't deadlock or have race conditions
    • Distributed consensus that doesn't involve crypto/NFTs
  • I’m currently learning ...

    • The Lean 4 theorem prover
    • Model checking of programs
    • Formal verification of (some) programs
  • 💞️ I’m looking to collaborate on ...

    • Model checking or verification of OpenGL/Vulkan programs
    • Visualization of transition systems for Lean 4 in VS Code
  • 📫 How to reach me ...

Mastodon: @Izzimach@c.im

Popular repositories

  1. react-three-legacy react-three-legacy Public

    React bindings to create and control a 3D scene using three.js

    JavaScript 1.5k 129

  2. react-pixi react-pixi Public

    Create/control a Pixi.js canvas using React

    JavaScript 740 73

  3. react-webaudio react-webaudio Public

    Create and update an html5 webaudio "audio graph" using ReactJS.

    JavaScript 71 8

  4. r3test r3test Public

    Demo/example of an app using react-three

    JavaScript 47 13

  5. om-react-pixi om-react-pixi Public

    Bindings for om to let you control pixi sprites from clojurescript.

    Clojure 30 2

  6. lean-glfw lean-glfw Public

    C bindings and marshalling to use GLFW and OpenGL from the lean4 theorem prover

    C 2