Parse JSON values out of directory structures

An Android MQTT client that regularly publishes messages to notify about the device's presence

Simple shell like scripting from Haskell

Turn IP sockets into Unix domain sockets

Neptune OS: A Windows NT personality for the seL4 microkernel

Modal X Key Daemon

An HTTP proxy with support for PAC files

Linux virtual machines, with a focus on running containers

A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!

Deriving Semigroup and Monoid instances for your product types

Project: M36 Relational Algebra Engine

</> htmx - high power tools for HTML

Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward

abduco provides session management i.e. it allows programs to be run independently from its controlling terminal. That is programs can be detached - run in the background - and then later reattache…

Display output of scripts in the macOS status bar

Starfield renderer

Alternative Haskell Infrastructure for Nixpkgs

Translate Cabals Generic Package Description to a Nix expression

Web based terminal emulator using websockets

Haskell simulations of spacecraft manoeuvres

Secure and fast microVMs for serverless computing.

dvtm brings the concept of tiling window management, popularized by X11-window managers like dwm to the console. As a console window manager it tries to make it easy to work with multiple console b…

NixOS deployment tool

Nix, the purely functional package manager

A service manager for s6.

The seL4 microkernel

A Dependently Typed Functional Programming Language

A library for probabilistic programming in Haskell.

Haskell library for reading /proc/meminfo