Explore projects
-
Documents and Graphics / Mask
Creative Commons Attribution Share Alike 4.0 InternationalSewing pattern for a face mask.
Updated -
A Telegram bot that sends markov chains from chat content on command.
Updated -
-
-
-
Software / Container / LocSearch
MIT LicenseUpdated -
The website for the Lightfold programming language, lightfold.dev.
Updated -
Software / Lightfold / Lightfold
GNU General Public License v3.0 onlyThe algebraic proof-of-concept toolkit written in Haskell for Lightfold, a dependently-typed programming languge.
Updated -
-
-
Configuration / Iosevka Funke
SIL Open Font License 1.1My private build plan for the Iosevka font.
Updated -
Software / Container / Inkscape
MIT LicenseAlpine-based minimal image for the Inkscape vector application.
Updated -
-
-
Updated
-
Updated
-
-
Documents and Graphics / Gem
Creative Commons Attribution 4.0 InternationalAn SVG graphic of a gem.
Updated -
Research / Game of Life
Apache License 2.0Unfinished Haskell version of Conways Game of Life.
Updated -
Lab / Functional Programming
Creative Commons Attribution Share Alike 4.0 InternationalIntroduction to functional programming in Haskell
Updated