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

最後更新於 1 周之前

Haskell program for my sway status bar.

最後更新於 1 周之前

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

最後更新於 1 周之前

tELegrAm bOT iNteGratiOn fOR mOCK

最後更新於 1 月之前

GReAt HAsKeLL tOOl to traNSFoRm TExt

最後更新於 1 月之前

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

最後更新於 1 月之前

My personal website.

最後更新於 1 月之前

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

最後更新於 1 月之前

My GHCI configuration.

最後更新於 2 月之前

My solutions for the Advent of Code.

最後更新於 2 月之前

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

最後更新於 2 月之前

My logo.

最後更新於 2 月之前

最後更新於 3 月之前

An SVG graphic of a gem.

svg

最後更新於 4 月之前

Miscellaneous script for my everyday usage.

最後更新於 5 月之前

Testrepo

最後更新於 5 月之前

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

最後更新於 5 月之前

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

最後更新於 5 月之前