- Boulder, CO, USA
- https://technomadic.org
- @sellout
Lists (1)
Sort Name ascending (A-Z)
Stars
A simple library for reporting compiler/interpreter errors
Yet another yet another recursion scheme library in Haskell.
Schemas for common flake output types
⚡ preexec and precmd functions for Bash just like Zsh.
garn is a build tool and environment manager that replaces justfiles/makefiles, docker, and the annoying parts of READMEs. The builders lingua franca.
Modules to help you handle persistent state on systems with ephemeral root storage [maintainer=@talyz]
A self-generating story that gets longer the more stars it gets
Interpret Haskell programs into any cartesian closed category.
⭐ it's a starcraft clone but with a dope typesystem
A collection of resources for learning type theory and type theory adjacent fields.
an implementation of Wadler's a prettier printer
A definition and reference implementation for MRA in PureScript.
[status: superseded by Purr] Sirën is an experimental context-based programming language with ad hoc multiple hierarchies, and multimethods.