envil forges Nix flakes and manages stacked environments

alternate nix substitution

Home Manager, but for repos.

garn is a build tool and environment manager that replaces justfiles/makefiles, docker, and the annoying parts of READMEs. The builders lingua franca.

♠️ React MDX-based presentation decks

[mirror] A dynamic tiling Wayland compositor

NixOS profiles for servers [maintainer=@numtide]

Haskell bindings to the Polar query engine and Oso authorization library

Making sense of web3 & crypto. Introduction to key concepts and ideas. Rigorous, constructive analysis of key claims pro and con. A look at the deeper hopes and aspirations.

Experimental deployment tool supporting multi-host abstractions

A roundup of:

A categorical programming language with effects

Generically obtain tests for JSON serialization

Collective bargaining for netizens

Public, Opinionated Mayflower NixOS Modules/Packages and other Expressions

https://hercules-ci.com build and deployment agent

A peer-to-peer stack for code collaboration

Build React forms with JSON Schema and the U.S. Web Design System

An experimental functional programing language. Typer combines a proof assitant and a powerful macro system to generate safer code.

Category theory in the context of (functional) programming

Reflection library for Coq

Abandoned

Generate python client code for servant.

a pure, strongly typed relational algebra library

Cookiecutter template for Servant projects