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

Ажурирано пре 1 недеља

Haskell program for my sway status bar.

Ажурирано пре 1 недеља

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

Ажурирано пре 1 недеља

tELegrAm bOT iNteGratiOn fOR mOCK

Ажурирано пре 1 месец

GReAt HAsKeLL tOOl to traNSFoRm TExt

Ажурирано пре 1 месец

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

Ажурирано пре 1 месец

My personal website.

Ажурирано пре 1 месец

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

Ажурирано пре 1 месец

My GHCI configuration.

Ажурирано пре 2 месеци

My solutions for the Advent of Code.

Ажурирано пре 2 месеци

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

Ажурирано пре 2 месеци

My logo.

Ажурирано пре 2 месеци

Ажурирано пре 3 месеци

An SVG graphic of a gem.

svg

Ажурирано пре 4 месеци

Miscellaneous script for my everyday usage.

Ажурирано пре 5 месеци

Testrepo

Ажурирано пре 5 месеци

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

Ажурирано пре 5 месеци

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

Ажурирано пре 5 месеци