Jared Loomis

andromeda. OpenGL-based rendering engine with embedded language that compiles to GLSL.

Haskell-OpenGL. A strongly-typed, functional rendering/game engine

Idris-HoTT. Homotopy Type Theory proofs in Idris

neurothink. Muse 2 EEG analysis with PyTorch + CNNs.

russell. A dependently-typed functional programming reasearch language

GLMatrix. OpenGL Matrix Library in Haskell

Idris-DOM. Idris wrapper over some of the JavaScript DOM, with a FRP module included.

hascell. Haskell

declare. Node.js/React.js platform for creating automated web tests without code

sighlo. A Redis-like DBMS

ownstore. A standard interface to data storage mediums and services. Own your data!

andromeda-idris. A GLSL representation and eDSL in Idris

Yi-Config. My yi.hs configuration file.

YFNH-LWJGL. Feature-rich OpenGL game/engine