This is your work, valued

NYC

Jared Loomis

Advanced
@jaredloomis

Freelance, formerly @ Amazon. Currently exploring LLMs & NLP to make boring jobs less boring.

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

77

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

26

Idris-HoTT. Homotopy Type Theory proofs in Idris

22

neurothink. Muse 2 EEG analysis with PyTorch + CNNs.

16

russell. A dependently-typed functional programming reasearch language

6

GLMatrix. OpenGL Matrix Library in Haskell

4

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

2

hascell. Haskell

2

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

1

sighlo. A Redis-like DBMS

1

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

1

andromeda-idris. A GLSL representation and eDSL in Idris

1

Yi-Config. My yi.hs configuration file.

1

YFNH-LWJGL. Feature-rich OpenGL game/engine

1