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 달 전