The vague idea of a modern dependently-typed programming language.

最終更新 2週間前

My private build plan for the Iosevka font.

最終更新 1ヶ月前

My personal ZSH config with a pretty powerline-like prompt.

最終更新 2ヶ月前

Haskell program for my sway status bar.

最終更新 2ヶ月前

An experimental browser because I am becoming increasingly annoyed with all the existing ones.

最終更新 2ヶ月前

tELegrAm bOT iNteGratiOn fOR mOCK

最終更新 3ヶ月前

GReAt HAsKeLL tOOl to traNSFoRm TExt

最終更新 3ヶ月前

My personal website.

最終更新 3ヶ月前

A Telegram bot that can run shell commands on the host.

最終更新 3ヶ月前

My GHCI configuration.

最終更新 4ヶ月前

My solutions for the Advent of Code.

最終更新 4ヶ月前

my solutions for advent of code trying out diffrent programming languages and concepts

最終更新 4ヶ月前

My logo.

最終更新 4ヶ月前

最終更新 5ヶ月前

An SVG graphic of a gem.

svg

最終更新 6ヶ月前

Miscellaneous script for my everyday usage.

最終更新 7ヶ月前

Testrepo

最終更新 7ヶ月前

Hooks for the pacman package manager that keep the package cache clean.

最終更新 7ヶ月前

Stuff for automata (DFA, NFA, ε-NFA) written in Idris.

最終更新 7ヶ月前