tELegrAm bOT iNteGratiOn fOR mOCK

업데이트됨 16 시간 전

GReAt HAsKeLL tOOl to traNSFoRm TExt

업데이트됨 17 시간 전

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

업데이트됨 1 일 전

A static blog generator written in Haskell and using Pandoc.

업데이트됨 3 일 전

Ideas for an innovative future OS.

업데이트됨 5 일 전

Miscellaneous script for my everyday usage.

업데이트됨 1 주 전

Haskell program for my sway status bar.

업데이트됨 1 주 전

Die Folien zu meinem Vortrag »Metaheuristische Optimierung: Ant Colony System und Guided Local Search« für mein Proseminar bei Prof. Müller.

업데이트됨 1 주 전

My build script for the OpenWRT image builder.

업데이트됨 1 주 전

업데이트됨 1 주 전

An absolutely indispensable web application counting days.

업데이트됨 2 주 전

Solutions to random programming puzzles

업데이트됨 3 주 전

Unfinished Haskell version of Conways Game of Life

업데이트됨 3 주 전

업데이트됨 1 개월 전

My private build plan for the Iosevka font.

업데이트됨 4 달 전

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

업데이트됨 4 달 전

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

업데이트됨 4 달 전

My personal website.

업데이트됨 5 달 전

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

업데이트됨 6 달 전

My GHCI configuration.

업데이트됨 6 달 전