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

Güncellendi 1 hafta önce

Haskell program for my sway status bar.

Güncellendi 1 hafta önce

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

Güncellendi 1 hafta önce

tELegrAm bOT iNteGratiOn fOR mOCK

Güncellendi 1 ay önce

GReAt HAsKeLL tOOl to traNSFoRm TExt

Güncellendi 1 ay önce

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

Güncellendi 1 ay önce

My personal website.

Güncellendi 1 ay önce

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

Güncellendi 1 ay önce

My GHCI configuration.

Güncellendi 2 ay önce

My solutions for the Advent of Code.

Güncellendi 2 ay önce

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

Güncellendi 2 ay önce

My logo.

Güncellendi 2 ay önce

Güncellendi 3 ay önce

An SVG graphic of a gem.

svg

Güncellendi 4 ay önce

Miscellaneous script for my everyday usage.

Güncellendi 5 ay önce

Testrepo

Güncellendi 5 ay önce

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

Güncellendi 5 ay önce

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

Güncellendi 5 ay önce