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

Zaktualizowano 2 tygodni temu

My private build plan for the Iosevka font.

Zaktualizowano 1 miesiąc temu

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

Zaktualizowano 2 miesięcy temu

Haskell program for my sway status bar.

Zaktualizowano 2 miesięcy temu

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

Zaktualizowano 2 miesięcy temu

tELegrAm bOT iNteGratiOn fOR mOCK

Zaktualizowano 3 miesięcy temu

GReAt HAsKeLL tOOl to traNSFoRm TExt

Zaktualizowano 3 miesięcy temu

My personal website.

Zaktualizowano 3 miesięcy temu

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

Zaktualizowano 3 miesięcy temu

My GHCI configuration.

Zaktualizowano 4 miesięcy temu

My solutions for the Advent of Code.

Zaktualizowano 4 miesięcy temu

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

Zaktualizowano 4 miesięcy temu

My logo.

Zaktualizowano 4 miesięcy temu

Zaktualizowano 5 miesięcy temu

An SVG graphic of a gem.

svg

Zaktualizowano 6 miesięcy temu

Miscellaneous script for my everyday usage.

Zaktualizowano 7 miesięcy temu

Testrepo

Zaktualizowano 7 miesięcy temu

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

Zaktualizowano 7 miesięcy temu

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

Zaktualizowano 7 miesięcy temu