andrew blinn's Projects
agda-based experimentation following wadler and 'learn you an agda'
A list of projectional and structural editors
pattern combinators extending racket/match to capture 🔗 contexts 📦
my cv
a signed distance field 🎴 raymarcher ⛓️ parallelized with openmp
personal webpage
🌊 The submerged color scheme for Dr. Racket
ductile: lambda calculus + pattern matching + static typing + ADTs
🔩 Runtime-composable term rewriting in the Racket/match style
frog-based structure editing blog
a structured interaction engine 🗜️ ⚗️
in-progress 🚧 explosional 💥 editor
furl???
A library for building dynamic webapps, using Js_of_ocaml.
A Web Application for Learning OCaml
A ClojureScript coding environment for beginners.
Material Design icons by Google
nool is nool
Some libraries and utilities for Software Product Line (SPL) analysis
Personal sketches and raw data
parsing python ast to racket sexp
a tiny tool for visualising substructual sharing in data structures 🕵️♀️