dedbox

racket-algebraic

Algebraic structures for untyped Racket

racket-neuron

Decentralized Software Organisms

racket-glm

racket-glsl

Embed GLSL shaders in your Racket programs

racket-js-voxel

TOAD-GAN

Eric's fork of "TOAD-GAN: Coherent Style Level Generation from a Single Example" by Maren Awiszus, Frederik Schubert and Bodo Rosenhahn.

.emacs.d

bonsai

A library for building dynamic webapps, using Js_of_ocaml

bonsai-app-template

A versatile project template for js_of_ocaml applications on Jane Street's bonsai framework

dedbox.github.io

gatsby-starter-foundation

A starter to launch your blazing fast personal website and a blog, Built with Gatsby and Netlify CMS. Made with ❤ by Stackrole

grove-extended-abstract

hexgrid_animation

i3

My i3wm config

lambda_phi

A lambda calculus with explicit phase-shifting annotations

latex-macro-dump

mixxx

Mixxx is Free DJ software that gives you everything you need to perform live mixes.

my-multi-component-ocaml-webapp

An example of combining multiple incr_dom components into one app

my-ocaml-webapp

incr_dom playground / scratch pad

ocaml-drawing-svg

ocaml-grist

A functional metaprogramming substrate

ppx_deriving

Type-driven code generation for OCaml >=4.02

proof-writing-demo

racket-neuron-shell

Neuron Shell

racket-values

Functional Multi-valued Computations

reason-action-calculus

reason-bdcalc

A bidirectionally typed lambda calculus with "if" expressions

reason-hzcalc

A Hazelnut lambda calculus with numbers and addition

tyxml

Build valid HTML and SVG documents

virtual_dom

OCaml bindings for the virtual-dom library