Classic init software for Linux

The systemd System and Service Manager

Public code for the course AFP (Advanced Functional Programming, Chalmers TDA342)

Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

Kubernetes self-service portal

A free, secure and open source app for Android to manage your 2-step verification tokens.

Fast, Declarative, Reproducible, and Composable Developer Environments

hpack: A modern format for Haskell packages

A comprehensive Amazon Web Services SDK for Haskell.

A stream-based runtime-verification framework for generating hard real-time C code.

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

New stumbler application for contributing data to geolocation services

📚 A curated list of papers for Software Engineers

The Haskell Tool Stack

Solutions in Haskell to Advent of Code https://adventofcode.com/

Visual Studio Code extension for Coq

Haskell Web Application Interface

Utilities for making your applications more debuggable.

An experiment of formatting .cabal files

Stable Haskell package sets: vetted consistent packages from Hackage

Multi platform setup for Coq, Coq libraries and tools

The TLA⁺ Proof Manager

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

Linux application sandboxing and distribution framework

Optics as an abstract interface

API for protocol buffers using modern Haskell language and library patterns.

Protocol Buffers - Google's data interchange format

Stateless CLI for GopenPGP

dracut - the event driven initramfs infrastructure

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.