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 місяці тому