Pinned Repositories
.emacs.d
My Emacs configurations
buku-haskell
A Haskell book, written in Bahasa.
coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
daisy
haskellet
A simple wavelet toolbox, written in Haskell
nvim
NeoVim configs
st-term-colors
Colorscheme patches for st terminal
xmonad-config
A simple XMonad configs
liquidhaskell
Liquid Types For Haskell
xendit-client
A simple Xendit API client
archbung's Repositories
archbung/st-term-colors
Colorscheme patches for st terminal
archbung/haskellet
A simple wavelet toolbox, written in Haskell
archbung/buku-haskell
A Haskell book, written in Bahasa.
archbung/nvim
NeoVim configs
archbung/xmonad-config
A simple XMonad configs
archbung/.emacs.d
My Emacs configurations
archbung/algorithm-notes
Notes on the Algorithm and Data Structure course at Saarland University
archbung/archbung.github.io
My somewhat professional website
archbung/coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
archbung/daisy
archbung/dotfiles
Various personal configurations
archbung/doom
My humble doom-emacs config
archbung/dwm-config
DWM configuration
archbung/happy
The Happy parser generator for Haskell
archbung/haskell-gargantext
archbung/HMock
Mock framework for testing in Haskell
archbung/hsdsp-lua
A toy DSP library to play around with hslua
archbung/i3
Personal config for i3wm
archbung/icl-ss19
Worksheets for the course Introduction to Computational Logic at Saarland University, Summer 2019
archbung/issue-wanted
🏷 Web application to help beginners to start contributing into Haskell projects
archbung/liquidhaskell
Liquid Types For Haskell
archbung/nvim.old
My nvim configurations
archbung/pandoc
Universal markup converter
archbung/pandoc-ideas
Ideas on making pandoc more extensible using Lua
archbung/static-analysis-papers
archbung/stonks
Simple money mover API
archbung/sway
sway configurations
archbung/tamarin-macro
Macro preprocessing library for Tamarin Prover
archbung/tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
archbung/tmux-config