Projects in Awesome Lists by disconcision
A curated list of projects in awesome lists by disconcision .
https://github.com/disconcision/fructure
a structured interaction engine 🗜️ ⚗️
Last synced: 08 Apr 2025
https://github.com/disconcision/furl
in-progress 🚧 explosional 💥 editor
projectional-editor structured-editing
Last synced: 08 Apr 2025
https://github.com/disconcision/containment-patterns
pattern combinators extending racket/match to capture 🔗 contexts 📦
Last synced: 08 Apr 2025
https://github.com/disconcision/spyshare
a tiny tool for visualising substructual sharing in data structures 🕵️♀️
Last synced: 04 Apr 2025
https://github.com/disconcision/depthop
a signed distance field 🎴 raymarcher ⛓️ parallelized with openmp
Last synced: 14 Feb 2025
https://github.com/disconcision/fructerm
🔩 Runtime-composable term rewriting in the Racket/match style
Last synced: 08 Apr 2025
https://github.com/disconcision/ductile
ductile: lambda calculus + pattern matching + static typing + ADTs
Last synced: 08 Apr 2025
https://github.com/disconcision/vardatalab
Haskell experiments with lifting variational data structures
Last synced: 08 Apr 2025
https://github.com/disconcision/agdalab
agda-based experimentation following wadler and 'learn you an agda'
Last synced: 08 Apr 2025
https://github.com/disconcision/drracket-submerged
🌊 The submerged color scheme for Dr. Racket
Last synced: 08 Apr 2025