woehr

rsL4

An embedded operating system built on seL4 in the Rust language.

open-adt

Open algebraic data types. Reuse constructors in different types; add and remove constructors from values.

jmw-nix

ghcid

Very low feature GHCi based IDE

gitit

A wiki using HAppS, pandoc, and git

haskus-utils

Utility modules

Jael

The JAEL Language is a "high-level" language that explores new ways to program low-level, bare-metal, embedded systems.

jmw-home

liquid-fixpoint

Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types

neco-ghc

A completion plugin for Haskell, using ghc-mod

nixpkgs

Nix Packages collection

node2nix

Generate Nix expressions to build NPM packages

row-types

A Haskell library for open records and variants using closed type families and type literals

tree-diff

Diffing of (expression) trees.

uniform-pair

Uniform pairs with class instances

vscode-jael

Basic language support for the Jael programming language.

woehr.github.io