archbung

st-term-colors

Colorscheme patches for st terminal

haskellet

A simple wavelet toolbox, written in Haskell

buku-haskell

A Haskell book, written in Bahasa.

nvim

NeoVim configs

xmonad-config

A simple XMonad configs

.emacs.d

My Emacs configurations

algorithm-notes

Notes on the Algorithm and Data Structure course at Saarland University

archbung.github.io

My somewhat professional website

coq-library-undecidability

A library of mechanised undecidability proofs in the Coq proof assistant.

daisy

dotfiles

Various personal configurations

doom

My humble doom-emacs config

dwm-config

DWM configuration

happy

The Happy parser generator for Haskell

haskell-gargantext

HMock

Mock framework for testing in Haskell

hsdsp-lua

A toy DSP library to play around with hslua

i3

Personal config for i3wm

icl-ss19

Worksheets for the course Introduction to Computational Logic at Saarland University, Summer 2019

issue-wanted

🏷 Web application to help beginners to start contributing into Haskell projects

liquidhaskell

Liquid Types For Haskell

nvim.old

My nvim configurations

pandoc

Universal markup converter

pandoc-ideas

Ideas on making pandoc more extensible using Lua

static-analysis-papers

sway

sway configurations

tamarin-macro

Macro preprocessing library for Tamarin Prover

tamarin-prover

Main source code repository of the Tamarin prover for security protocol verification.

tmux-config