Please contact me at qgeneral35@gmail.com
Lean4-FFI-Programming-Tutorial-GLFW. Lean4 Tutorial/Notes on creating FFI bindings with GLFW as an example.
idris2-ml. Type-dependent machine learning & linear algebra & auto backprop
hs-frp-gui. Working FRP GUI with dunai and nanovg
