disconcision

fructure

a structured interaction engine 🗜️ ⚗️

containment-patterns

pattern combinators extending racket/match to capture 🔗 contexts 📦

furl

in-progress 🚧 explosional 💥 editor

spyshare

a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️

nool

nool is nool

depthop

a signed distance field 🎴 raymarcher ⛓️ parallelized with openmp

awesome-structure-editors

A list of projectional and structural editors

ductile

ductile: lambda calculus + pattern matching + static typing + ADTs

fructerm

🔩 Runtime-composable term rewriting in the Racket/match style

resume

racketlab

Personal sketches and raw data

racketskool

488-compiler-A2

agdalab

agda-based experimentation following wadler and 'learn you an agda'

chatLSP

cv

my cv

disconcision

disconcision.github.io

personal webpage

dotfiles

drracket-submerged

🌊 The submerged color scheme for Dr. Racket

explo

furl-clj

furl???

incr_dom

A library for building dynamic webapps, using Js_of_ocaml.

learn-ocaml

A Web Application for Learning OCaml

maria

A ClojureScript coding environment for beginners.

material-design-icons

Material Design icons by Google

ProductLineAnalysis

Some libraries and utilities for Software Product Line (SPL) analysis

reframe-starter

sneket

parsing python ast to racket sexp

vardatalab

Haskell experiments with lifting variational data structures