ollef

sixty

Dependent type checker using normalisation by evaluation

dependent-hashmap

Dependent hash maps

rust-nbe-bench

text-rope

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

ollef.github.io

bevy_xpbd

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

rock

Build system

Earley

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

navm-hs

Not a virtual machine

enummapset

IntMap and IntSet with Enum keys/elements.

elm-compositional-ui

rope-bench

rope-utf16-splay

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

navm

Not A Virtual Machine

postgres-woobat

dependent-sum

Dependent sums and supporting typeclasses for comparing and displaying them

qmk_firmware

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

environment-bench

Benchmarking compiler representations of variable environments

hardcaml

Hardcaml is an OCaml library for designing hardware.

haskellcosm

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

dactyl-manuform-mini-keyboard

fourmolu

A fourk of ormolu that uses four space indentation.

Bidirectional

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

sixten

Functional programming with fewer indirections

elm-syntax

Elm syntax in Elm

coronastatus.no

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

parsix

Adventures in parser combinators

concurrent-hashtable

A thread-safe hash table in Haskell

satire

Satisfaction

proglangdesign.github.io

A website for the #proglangdesign community on freenode