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 месяцев назад