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

Aggiornato 2 settimane fa

My private build plan for the Iosevka font.

Aggiornato 1 mese fa

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

Aggiornato 2 mesi fa

Haskell program for my sway status bar.

Aggiornato 2 mesi fa

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

Aggiornato 2 mesi fa

tELegrAm bOT iNteGratiOn fOR mOCK

Aggiornato 3 mesi fa

GReAt HAsKeLL tOOl to traNSFoRm TExt

Aggiornato 3 mesi fa

My personal website.

Aggiornato 3 mesi fa

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

Aggiornato 3 mesi fa

My GHCI configuration.

Aggiornato 4 mesi fa

My solutions for the Advent of Code.

Aggiornato 4 mesi fa

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

Aggiornato 4 mesi fa

My logo.

Aggiornato 4 mesi fa

Aggiornato 5 mesi fa

An SVG graphic of a gem.

svg

Aggiornato 6 mesi fa

Miscellaneous script for my everyday usage.

Aggiornato 7 mesi fa

Testrepo

Aggiornato 7 mesi fa

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

Aggiornato 7 mesi fa

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

Aggiornato 7 mesi fa