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

Atjaunināts 2 nedēļas atpakaļ

My private build plan for the Iosevka font.

Atjaunināts 1 mēnesi atpakaļ

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

Atjaunināts 2 mēnešus atpakaļ

Haskell program for my sway status bar.

Atjaunināts 2 mēnešus atpakaļ

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

Atjaunināts 2 mēnešus atpakaļ

tELegrAm bOT iNteGratiOn fOR mOCK

Atjaunināts 3 mēnešus atpakaļ

GReAt HAsKeLL tOOl to traNSFoRm TExt

Atjaunināts 3 mēnešus atpakaļ

My personal website.

Atjaunināts 3 mēnešus atpakaļ

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

Atjaunināts 3 mēnešus atpakaļ

My GHCI configuration.

Atjaunināts 4 mēnešus atpakaļ

My solutions for the Advent of Code.

Atjaunināts 4 mēnešus atpakaļ

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

Atjaunināts 4 mēnešus atpakaļ

My logo.

Atjaunināts 4 mēnešus atpakaļ

Atjaunināts 5 mēnešus atpakaļ

An SVG graphic of a gem.

svg

Atjaunināts 6 mēnešus atpakaļ

Miscellaneous script for my everyday usage.

Atjaunināts 7 mēnešus atpakaļ

Testrepo

Atjaunināts 7 mēnešus atpakaļ

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

Atjaunināts 7 mēnešus atpakaļ

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

Atjaunināts 7 mēnešus atpakaļ