My working notes on Nix, written in specification form
☆24Jul 20, 2026Updated 2 months ago
Alternatives and similar repositories for nix-specification
Users that are interested in nix-specification are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- an intelligent, cascading environment manager☆45Updated this week
- Signal generators, easing, RNG & more Rust crate providing mathematical primitives to make TUIs, games, and creative tools feel alive and…☆21Jan 2, 2026Updated 9 months ago
- Version ranges for nixpkgs, solved by clingo over the nixpkgs-multiverse history index.☆51Sep 3, 2026Updated last month
- Library-first async Nix evaluation engine for fast cached eval distribution☆57Updated this week
- A formatter for Haskell source code☆45Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Toolkit-agnostic Rust crate for unified OS theme data☆17Oct 11, 2026Updated last week
- Tricorder provides simple, fast, focused feedback when hacking on Haskell (with or without LLM agents).☆65Updated this week
- A next-generation, Rust-native debugger built to understand ownership, lifetimes, and Rust’s unique memory model.☆26Jun 12, 2026Updated 4 months ago
- A simple terminal UI framework☆20Aug 14, 2026Updated 2 months ago
- Rustion is a lightweight, high-performance SSH bastion/jump host server with a TUI management interface, written in Rust☆63Updated this week
- Sandboxable Nix project evaluators☆18Dec 20, 2024Updated last year
- YoLo TLS - no_std no_alloc TLS 1.3☆22Sep 21, 2026Updated 3 weeks ago
- Terminal United, a terminal based MMO social game written in Rust☆21May 12, 2026Updated 5 months ago
- A CLI tool to deduplicate your Nix flake's inputs as if you added `inputs.*.inputs.*.follows = "*"` everywhere.☆44Sep 3, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Tmux sidebar plugin for managing agents☆36Aug 31, 2026Updated last month
- Clickable link widget for Ratatui TUI programs☆27Feb 15, 2026Updated 8 months ago
- A library for generating animated overlay notifications in Ratatui TUI apps, aka toasts☆63Jan 30, 2026Updated 8 months ago
- Tracking of changes to Nixpkgs committers☆30Updated this week
- Headless WebGL 1 & 2 for Node.js, powered by ANGLE (Metal, D3D11, Vulkan). Render any WebGL or three.js scene without a browser.☆48Sep 17, 2026Updated last month
- A library for converting, formatting and parsing CSS colours.☆24Oct 10, 2026Updated last week
- A Nixpkgs tracker with notifications! [Maintainer=@Sakooooo]☆13Mar 20, 2026Updated 6 months ago
- Examples of executable 8088 machine code encoded as Unicode graphemes☆29Aug 9, 2026Updated 2 months ago
- hgg — Haskell Grammar of Graphics (declarative plotting).☆21Aug 13, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆15May 27, 2026Updated 4 months ago
- Enterprise-grade AI workspace for legal teams. Self-hostable. AGPL-3.0.☆32Sep 12, 2026Updated last month
- A pull request tracker for Nixpkgs☆22Updated this week
- Formally proving complex protocols and systems using TLA+ Proof System (TLAPS)☆37Updated this week
- Ergonomic Nix helper☆44Updated this week
- Reproducible Nix environments without installing Nix☆108Updated this week
- noogle.dev from your terminal!☆19Jun 20, 2026Updated 3 months ago
- Ratatui tab widget☆32Mar 24, 2026Updated 6 months ago
- Minimal QtQuick/QML example with nix☆10Feb 6, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A smooth graphing widget for ratatui based on the braille character graphs featured in `btop`☆34Dec 27, 2025Updated 9 months ago
- A statically typed entry-point router for command-line applications☆29Oct 9, 2026Updated last week
- automancy! is a magic-themed, hexagon-based 'automation game' where there is no 'Conveyor Belts'.☆49Oct 8, 2026Updated last week
- Experimental tool to build reports on GHC build time for your projects.☆24Jan 5, 2023Updated 3 years ago
- Haskell package descriptions merging (⩓) the best of HPack and Dhall.☆32Jun 10, 2026Updated 4 months ago
- See who is actually serving this site!☆27Aug 24, 2026Updated last month
- Stops crystals randomly refreshing in your hotbar☆11Apr 26, 2026Updated 5 months ago