Explore projects
-
A flexible static website generator using Pandoc, written in Haskell.
Updated -
-
-
-
Updated
-
-
Updated
-
Updated
-
Updated
-
Updated
-
-
-
The algebraic proof-of-concept toolkit written in Haskell for Lightfold, a dependently-typed programming languge.
Updated -
A Telegram bot that can run shell commands on the host.
Updated -
-
-
-