Björn Buckwalter's repositories
dimensional
Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
dimensional-experimental
Modules building on dimensional that do not fit elsewhere (yet).
numtype-dk
NumTypes with TypeNats, Data Kinds, Closed Type Families...
bord
Öppet rollspelsbord i Örebro
dimensional-codata
CODATA Recommended Physical Constants with dimensional types
dimensional-dk-experimental
Experimental and draft modules for dimensional-dk.
dimensional-homo
Experimental library with homogeneous vectors and matrices.
halberdsnhelmets
A character generator for Halberds & Helmets; a character sheet generator for some role-playing games.
hammerspoon.github.io
Website
lite-xl.github.io
Lite-XL Website
matrix-static
Wrapper around matrix that adds matrix sizes to the type-level
nvim-notify
A fancy, configurable, notification manager for NeoVim
osr-character-generator
Javascript libraries for generating characters for tabletop rpgs similar to early versions of the first rpg.
pallene
Pallene Compiler
pandoc-extra
Custom pandoc material
pandoc-latex-extensions
A pandoc filter that adds latex extensions.
ple
Pure Lua Editor
rio
A standard library for Haskell