Explore projects
-
-
Updated
-
A template for creating reports and theses with Markdown and Pandoc.
Updated -
MonsterDruide1 / NixOS
GNU General Public License v3.0 or laterUpdated -
Updated
-
-
Updated
-
Updated
-
Software / MockBot for Telegram
Do What The F*ck You Want To Public LicensetELegrAm bOT iNteGratiOn fOR mOCK.
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 -
-
Updated
-
Research / Advent of Code 2021
Apache License 2.0Updated -
Updated
