All Git Users → jaredloomis

2 open source projects by jaredloomis

[ Open user page on Github ]

Homotopy Type Theory proofs in Idris

✭ 19

Idris type-theory homotopy-type-theory

GLSL-targetting embedded compiler, and OpenGL rendering engine.

✭ 75

haskell opengl shaders edsl glsl-shaders

1-2 of 2 user projects