Stars
Glasgow Haskell Compiler running in your browser
A functional programming language which does not require the heap at run-time.
Create a 130GB Nix ️store in GitHub runners ❄️ Multi-partition BTRFS RAID-0 for /nix 💪 Brutally purges unnecessary software 🪓 Dynamically grows the Nix store 📈
A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development snapshots. Submit issues and PRs here.
A performant and configurable parallel computing library for computations defined as compositions of iterator methods.
Utility to clean up old Nix profile generations and left-over garbage collection roots
Linux CLI tool providing real-time system resource monitoring
Show details about outdated packages in your NixOS system.
intentrace is strace with intent, it goes all the way for you instead of half the way. intentrace is currently in beta
CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.
Typst live preview minor mode for emacs
Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].
A markup-based typesetting system that is powerful and easy to learn.
Eventually a practical 2-level TT-based compiler
Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available…
DuckDB is an analytical in-process SQL database management system
Native GitHub Action cache for your cabal project
An agenix extension adding secret generation and automatic rekeying using a YubiKey or master-identity