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

Upraveno před 2 týdny

My private build plan for the Iosevka font.

Upraveno před 1 měsícem

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

Upraveno před 2 měsíci

Haskell program for my sway status bar.

Upraveno před 2 měsíci

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

Upraveno před 2 měsíci

tELegrAm bOT iNteGratiOn fOR mOCK

Upraveno před 3 měsíci

GReAt HAsKeLL tOOl to traNSFoRm TExt

Upraveno před 3 měsíci

My personal website.

Upraveno před 3 měsíci

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

Upraveno před 3 měsíci

My GHCI configuration.

Upraveno před 4 měsíci

My solutions for the Advent of Code.

Upraveno před 4 měsíci

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

Upraveno před 4 měsíci

My logo.

Upraveno před 4 měsíci

Upraveno před 5 měsíci

An SVG graphic of a gem.

svg

Upraveno před 6 měsíci

Miscellaneous script for my everyday usage.

Upraveno před 7 měsíci

Testrepo

Upraveno před 7 měsíci

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

Upraveno před 7 měsíci

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

Upraveno před 7 měsíci