Discover @jaredloomis Open Source projects

Jared Loomis (@jaredloomis)

jaredloomis

Stars
151
Global Rank 153,004 (Top 6 %)
Followers 11
Following 9
Registered about 12 years ago
Most used languages

Haskell
57.1 %

Idris 21.4 %

Jupyter Notebook
7.1 %

C++
7.1 %

Java
7.1 %
Location 🇺🇸 United States
Country Total Rank 34,734
Country Ranking

Idris 10

Haskell
206

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.

Jupyter Notebook

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

andromeda-idris

A GLSL representation and eDSL in Idris

Yi-Config

My yi.hs configuration file.

YFNH-LWJGL

Feature-rich OpenGL game/engine

ownstore

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

sighlo

A Redis-like DBMS

dilcue

A parallel realtime(ish) raytracer with support for non-euclidian geometry.