Run any Linux process in a secure, unprivileged sandbox using Landlock. Think firejail, but lightweight, user-friendly, and baked into the kernel.

A playbook for systematically maximizing the performance of deep learning models.

🤗 Diffusers: State-of-the-art diffusion models for image, video, and audio generation in PyTorch and FLAX.

modern full-featured open source secure mail server for low-maintenance self-hosted email

aider is AI pair programming in your terminal

MirageOS is a library operating system that constructs unikernels

PureScript core tools in Nix

An efficient finite map from (byte)strings to values.

Polynomial-time Meta-Interpretive Learning

Diagrams standard library

A project to map out the relations between different equational theories of Magmas.

Hosts TSConfigs to extend in a TypeScript app, tuned to a particular runtime environment

Marks side-effects in module initialization that would interfere with tree-shaking

A project to map out the relations between different equational theories of Magmas.

Flake template for Haskell repository

Analyze compressed chess pgn files to determine the rarest move

Functional programming tools for the shell

Haskell library for the Microsoft Language Server Protocol

The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver

literate markdown tangle

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

A concise grammar of interactive graphics, built on Vega.

An SMT Solver for string constraints

A batteries-included, opinionated Haskell test framework

Code assistant language server for Helix with support for Copilot/OpenAI/Codeium/Ollama

Visualise eventlog events as a static webpage

Run IO operations asynchronously and wait for their results

Haskell combinators for executing IO actions in parallel on a thread pool

A Haskell monad for fair enumeration of infinite sets.