Explore projects
-
Documents and Graphics / Snowflakes
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
-
A Telegram bot that sends markov chains from chat content on command.
Updated -
Configuration / Monitoring
Apache License 2.0Simplemonitors config for my services, the status page available at status.eisfunke.com.
Updated -
Software / Container / PandocPlus
MIT LicenseA Docker container with Pandoc, LaTeX and Haskell libraries for running Haskell Pandoc filters.
Updated -
A small Telegram bot that answers all messages containing "uwu" or a variant with a fitting sticker.
Updated -
-
Research / Bachelor Thesis
Creative Commons Attribution Share Alike 4.0 InternationalMy bachelor thesis titled "Design and Algebraic Implementation of a Functional Programming Language".
Updated -
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 -
Software / Container / Inkscape
MIT LicenseAlpine-based minimal image for the Inkscape vector application.
Updated -
The website for the Lightfold programming language, lightfold.dev.
Updated -
-
Software / Mock
Do What The F*ck You Want To Public LicenseGReAt HAsKeLL tOOl to traNSFoRm TExt.
Updated -
Software / Neuland
Apache License 2.0Ideas for a browser because I'm becoming increasingly annoyed with all the existing ones.
Updated -
Software / Scripts
Apache License 2.0My personal collection of miscellaneous script for everyday usage.
Archived 0Updated -
-
Software / MockBot for Telegram
Do What The F*ck You Want To Public LicensetELegrAm bOT iNteGratiOn fOR mOCK.
Updated -
-