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

Uppdaterad 2 veckor sedan

My private build plan for the Iosevka font.

Uppdaterad 1 månad sedan

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

Uppdaterad 2 månader sedan

Haskell program for my sway status bar.

Uppdaterad 2 månader sedan

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

Uppdaterad 2 månader sedan

tELegrAm bOT iNteGratiOn fOR mOCK

Uppdaterad 3 månader sedan

GReAt HAsKeLL tOOl to traNSFoRm TExt

Uppdaterad 3 månader sedan

My personal website.

Uppdaterad 3 månader sedan

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

Uppdaterad 3 månader sedan

My GHCI configuration.

Uppdaterad 4 månader sedan

My solutions for the Advent of Code.

Uppdaterad 4 månader sedan

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

Uppdaterad 4 månader sedan

My logo.

Uppdaterad 4 månader sedan

Uppdaterad 5 månader sedan

An SVG graphic of a gem.

svg

Uppdaterad 6 månader sedan

Miscellaneous script for my everyday usage.

Uppdaterad 7 månader sedan

Testrepo

Uppdaterad 7 månader sedan

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

Uppdaterad 7 månader sedan

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

Uppdaterad 7 månader sedan