Skip to content
View Izzimach's full-sized avatar
90 followers · 0 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Shark

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 using OpenGL or Vulkan
    • Writing concurrent/multithreaded programs
    • Using model checking and theorem provers to check programs for correctness
    • Distributed consensus that doesn't involve crypto/NFTs

  • I’m currently learning ...

    • The Vulkan API in more depth
    • Ray tracing
    • Modern C++20 topics, especially concepts and coroutines

  • 💞️ I’m looking to collaborate on ...

    • Model checking or verification of OpenGL/Vulkan programs
    • Using C++ coroutines and concepts in high-performance programs.

  • 📫 How to reach me ...

Mastodon: @Izzimach@c.im

Pinned Loading

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

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

    JavaScript 1.5k 127

  2. bainangua bainangua Public

    Vulkan renderer exploring the use of C++20 features and a functional style.

    C++

  3. fomorian fomorian Public

    Haskell scene graph library, targeting OpenGL and Vulkan

    Haskell

  4. lean-glfw lean-glfw Public

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

    C 2