Skip to content
View Izzimach's full-sized avatar
91 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

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