Pinned Repositories
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
jmw-nix
liquid-fixpoint
Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types
open-adt
Open algebraic data types. Reuse constructors in different types; add and remove constructors from values.
rsL4
An embedded operating system built on seL4 in the Rust language.
woehr's Repositories
woehr/rsL4
An embedded operating system built on seL4 in the Rust language.
woehr/open-adt
Open algebraic data types. Reuse constructors in different types; add and remove constructors from values.
woehr/jmw-nix
woehr/ghcid
Very low feature GHCi based IDE
woehr/gitit
A wiki using HAppS, pandoc, and git
woehr/haskus-utils
Utility modules
woehr/Jael
The JAEL Language is a "high-level" language that explores new ways to program low-level, bare-metal, embedded systems.
woehr/jmw-home
woehr/liquid-fixpoint
Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types
woehr/neco-ghc
A completion plugin for Haskell, using ghc-mod
woehr/nixpkgs
Nix Packages collection
woehr/node2nix
Generate Nix expressions to build NPM packages
woehr/row-types
A Haskell library for open records and variants using closed type families and type literals
woehr/tree-diff
Diffing of (expression) trees.
woehr/uniform-pair
Uniform pairs with class instances
woehr/vscode-jael
Basic language support for the Jael programming language.
woehr/woehr.github.io