Jared Loomis

California Freelance Software Engineer, formerly @ Amazon. Interests include: LLMs for process automation, financial modeling, compilers, 3D graphics.

Results 3 repositories owned by


Jared Loomis

andromeda

76

Stars

5

Forks

Watchers

GLSL-targetting embedded compiler, and OpenGL rendering engine.

Haskell-OpenGL

26

Stars

4

Forks

Watchers

A strongly-typed, functional rendering/game engine

Idris-HoTT

20

Stars

1

Forks

Watchers

Homotopy Type Theory proofs in Idris

dependent-types

homotopy-type-theory