Vegetarian friendly state for React

Crucible is a library for symbolic simulation of imperative programs

The home of the CUE language! Validate and define text-based and dynamic configuration

[MIRROR, PRs ok! Issues: https://git.lix.systems/lix-project/lix/issues] A modern, delicious implementation of the Nix package manager, focused on correctness, usability, and growth — and committed…

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

🖥 📊 🕹 🛠 A curated list of command line apps

A scrollable-tiling Wayland compositor.

OpenTTD is an open source simulation game based upon Transport Tycoon Deluxe

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

Overmind - Frictionless state management

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

Parser Building Toolkit for JavaScript

⚔ Multiplayer Framework for Node.js

💎 Robust job processing in Elixir, backed by modern PostgreSQL, SQLite3, and MySQL

A configuration as code language with rich validation and tooling.

mawww's experiment for a better code editor

Language Server Protocol implementation for Rust based on Tower

Turn your keyboard into a typewriter! 📇

CLI for searching packages on search.nixos.org

A tool for glamorous shell scripts 🎀

Pretty images and colours

A functional standard library for Python.

Unbearably fast near-real-time pure-Python runtime-static type-checker.

🔗 Command Line Apps Script Projects

Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.

Multi-tenant Nix Binary Cache

Static low-bandwidth search at scale

Create the next immutable state by mutating the current one

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.