jaredloomis Goto Github PK

andromeda

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

andromeda-idris

A GLSL representation and eDSL in Idris

automation-job-losses

A visualizion of predicted job losses due to automation.

bleech

Financial asset analysis platform

caffe

Caffe: a fast open framework for deep learning.

dilcue

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

dotfiles

eog-react-assessment

finlab

Tools for financial data analysis & modeling

glmatrix

OpenGL Matrix Library in Haskell

hascell

haskell-opengl

A strongly-typed, functional rendering/game engine

idris-dev

A Dependently Typed Functional Programming Language

idris-dom

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

idris-hott

Homotopy Type Theory proofs in Idris

idris-llvm

Idris LLVM codegen factored out

jaredloomis.com

minimal personal site with React.js

koa-qa

learning-prolog

lin

A linear algebra library in haskell.

linux-audio-recording

machine-learning

Machine learning in Haskell

minimal-react-template

Template for quickly getting up and running for small projects

music-map-scraper

Scrapes data from music-map.com, and loads it into a graph database (Arango)

neurothink

Muse 2 EEG analysis with PyTorch + CNNs.

nightmare-mod

noeuclid

Non-euclidean GPU Raytraced Game

ownstore

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

passion

A distributed, end-to-end encrypted password manager

poly-os

Operating System written in multiple unconventional languages