Pinned Repositories
agda-plfa
learning repo
dotfiles
My personal dotfiles.
l-system
L-system generator
nix-gitignore
superseded / unmaintained
parabolic-pde
Playing around with haskell-repa.
ppmz
1k LOC of a highly overengineered, very fast, very specific maze solver in Haskell
tetris
Terminal tetris with a solver
xclip-for-mac
an executable with a xclip-compatible interface
zn
Haskell IRC bot
siers's Repositories
siers/nix-gitignore
superseded / unmaintained
siers/zn
Haskell IRC bot
siers/xclip-for-mac
an executable with a xclip-compatible interface
siers/dotfiles
My personal dotfiles.
siers/stoical
POC ELF crypter
siers/snake
OOP pascal snake for school.
siers/tetris
Terminal tetris with a solver
siers/agda-plfa
learning repo
siers/ppmz
1k LOC of a highly overengineered, very fast, very specific maze solver in Haskell
siers/abcnotation
EXPERIMENTAL abcnotation
siers/blog
siers/braille-loading-characters
Just playing with braille loading characters
siers/broadcast-webcam-realtime
ffmpeg, nginx, nix, nginx-rtmp-module, hls.js
siers/freenode-list
Downloads and formats irc.freenode.net's /list.
siers/glsl
shadertoys
siers/haskell-telegram-api
Telegram Bot API for Haskell
siers/hfuse
Haskell bindings for the FUSE library
siers/hfuse-experiments
haskell, files, hfuse
siers/keyboard-distance-randomizer
siers/keylayout
xkbmap
siers/mtnom
the product of learning some react & redux
siers/music
siers/music-suite
Music in Haskell
siers/nixpkgs
Nix Packages collection
siers/nvim-agda
Agda interaction pluging for neovim
siers/recsch
trying out the recursion-schemes package
siers/remote
the superior ~freshmaker~ home cinema system
siers/scala
siers/scala-bootcamp
Scala Bootcamp
siers/weechat-log-parser
A rather primitive attoparsec weechat log parser