bjornbm

dimensional

Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).

astro

Astrodynamics code for Haskell

dimensional-experimental

Modules building on dimensional that do not fit elsewhere (yet).

nn

numtype-dk

NumTypes with TypeNats, Data Kinds, Closed Type Families...

adt.lua

algebraic data types for Lua

bord

Öppet rollspelsbord i Örebro

d6

dice

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

insraq.github.com

Blog

libcsp

Cubesat Space Protocol - A small network-layer delivery protocol designed for Cubesats

lite-xl

A lightweight text editor written in Lua

lite-xl.github.io

Lite-XL Website

locco

Locco is Docco in Lua.

luafun

Lua Fun is a high-performance functional programming library for Lua designed with LuaJIT's trace compiler in mind.

matrix-static

Wrapper around matrix that adds matrix sizes to the type-level

moleskine

Extract pages from pdf based on index (uses pdftk under the hood).

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

stack

The Haskell Tool Stack