ollef

sixten

Functional programming with fewer indirections

Earley

Parsing all context-free grammars using Earley's algorithm in Haskell.

sixty

Dependent type checker using normalisation by evaluation

Bidirectional

Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"

rock

Build system

dependent-hashmap

Dependent hash maps

rope-utf16-splay

Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs

parsix

Adventures in parser combinators

navm

Not A Virtual Machine

navm-hs

Not a virtual machine

environment-bench

Benchmarking compiler representations of variable environments

ollef.github.io

postgres-woobat

rope-bench

satire

Satisfaction

bevy_xpbd

2D and 3D physics engine based on Extended Position Based Dynamics for Bevy.

concurrent-hashtable

A thread-safe hash table in Haskell

coronastatus.no

Rapporter din helsetilstand slik at vi sammen får bedre oversikt over smittespredningen

dactyl-manuform-mini-keyboard

dependent-sum

Dependent sums and supporting typeclasses for comparing and displaying them

elm-compositional-ui

elm-syntax

Elm syntax in Elm

enummapset

IntMap and IntSet with Enum keys/elements.

fourmolu

A fourk of ormolu that uses four space indentation.

hardcaml

Hardcaml is an OCaml library for designing hardware.

haskellcosm

Collecting information about Haskell ecosystem - companies, communities, media, etc.

proglangdesign.github.io

A website for the #proglangdesign community on freenode

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

setup-stack

Github action for setting up haskell stack

text-rope

A wrapper around Text for fast line/column navigation and logarithmic concatenation