Stars
Parse JSON values out of directory structures
An Android MQTT client that regularly publishes messages to notify about the device's presence
Neptune OS: A Windows NT personality for the seL4 microkernel
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
</> 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
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…
A Dependently Typed Functional Programming Language
A library for probabilistic programming in Haskell.