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 месеца