haverscript. Library for building agents and managing LLM interactions
26kure. Combinators for rewriting arbitrary syntax trees that have scoping
7er-systemf. An implementation of System-F, and combinators for rewriting it.
6io-reactive. An implementation of the reactivity model used in O'Haskell and TIMBER
6lambda-bridge. A bridge from Haskell (on a CPU) to VHDL on a FPGA.
5httpd-shed. A simple websever with an interact style API
5checkit. Kit for building QuickCheck like testing tools.
5chalkboard2. ChalkBoard Graphics package
3opengl-hacks. Prototyping OpenGL ideas written using the Haskell OpenGL bindings
3offline-functions. Offline functions is a TeX library for calling offline procedures from within Tex (and LaTeX) code.
3edsls-for-software-engineers. EDSLs for (software) engineers
3kansas-lava. Kansas Lava
3kure-your-boilerplate. An extension to KURE which uses Template Haskell to make writing the KURE constructor function automatic
3glyph-number-marks. TeX Library for adding glyph numbers to code fragments.
2commuting-functors-paper. paper about commuting functors
2th-subst. Substution engine for Template Haskell Syntax
2scripts. My various shell and perl scripts to get things done
2icfp2000-raytracer. Haskell
2latex-utils. Various latex packages that may or may not mature into something useful.
2comfyui-sunflower-nodes. ComfyUI nodes for 3D visualization
1todo-today-old. Haskell
1applicative-monad. do notation for applicative functors
1plist-lens. A lens between an OSX plist and a JSON list of records
1EECS876S14. EECS 876 Spring 2014
1grader. Scripts for helping grading
1willowbrae. 3D VR room editor and projector
1read-spreadsheet. Haskell
1scotty-crud. Support for RESTful CRUD commands in Scotty
1rubik-solver. Solver for rubik, for teaching applicative functors
1obj-tools. Haskell
1pure-par. Par experiments
1sandbox. Place to play
1