Pinned Repositories
Abastro.github.io
my blog
AdventOfCode
Planning to golf in Advent Of Code
bakery
Bake rendering to prepare early
c2hs-th-reproducer
cabal
Official upstream development repository for Cabal and cabal-install
chebishev-steps
Columnise
pending
Coq-Practice
Coq practice with conventional mathematics
Funcy
Funcy, functional language with simplistic concepts
pulpmonad
My xmonad configuration
Abastro's Repositories
Abastro/Funcy
Funcy, functional language with simplistic concepts
Abastro/AdventOfCode
Planning to golf in Advent Of Code
Abastro/pulpmonad
My xmonad configuration
Abastro/chebishev-steps
Abastro/Coq-Practice
Coq practice with conventional mathematics
Abastro/Abastro.github.io
my blog
Abastro/bakery
Bake rendering to prepare early
Abastro/c2hs-th-reproducer
Abastro/cabal
Official upstream development repository for Cabal and cabal-install
Abastro/Columnise
pending
Abastro/course-materials
Abastro/DependentFRP
Dependent Functional Reactive Programming
Abastro/Funcy-Compiler
Compiler for Funcy language.
Abastro/gi-gtk-declarative
Declarative GTK+ programming in Haskell
Abastro/gtk-strut
Abastro/haskell-wayland
Haskell bindings for the Wayland library
Abastro/PkUtilities
Random utility for my life
Abastro/PointGroup
PointGroup: Dual-Set Point Grouping for 3D Instance Segmentation
Abastro/pointgroup-hs
Pointgroup implementation on haskell
Abastro/reactive-banana
Library for functional reactive programming in Haskell.
Abastro/taffybar
A gtk based status bar for tiling window managers such as XMonad
Abastro/wayland-hs
Abastro/waymonad-scanner
A wayland scanner intended to be usable with waymonad/hsroots/wlroots stack.
Abastro/wlhs
Haskell bindings to wlroots (and libwayland)
Abastro/xmonad-profiles
More easily manageable xmonad profiles on Gnome
Abastro/xmonad-test
Xmonad minimal repository for testing