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

Actualizado hace 2 semanas

My private build plan for the Iosevka font.

Actualizado hace 1 mes

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

Actualizado hace 2 meses

Haskell program for my sway status bar.

Actualizado hace 2 meses

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

Actualizado hace 2 meses

tELegrAm bOT iNteGratiOn fOR mOCK

Actualizado hace 3 meses

GReAt HAsKeLL tOOl to traNSFoRm TExt

Actualizado hace 3 meses

My personal website.

Actualizado hace 3 meses

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

Actualizado hace 3 meses

My GHCI configuration.

Actualizado hace 4 meses

My solutions for the Advent of Code.

Actualizado hace 4 meses

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

Actualizado hace 4 meses

My logo.

Actualizado hace 4 meses

Actualizado hace 5 meses

An SVG graphic of a gem.

svg

Actualizado hace 6 meses

Miscellaneous script for my everyday usage.

Actualizado hace 7 meses

Testrepo

Actualizado hace 7 meses

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

Actualizado hace 7 meses

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

Actualizado hace 7 meses