Stars
- All languages
- Ada
- Assembly
- Awk
- BQN
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- Dart
- Dhall
- Emacs Lisp
- F#
- F*
- Go
- Go Template
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- Lean
- Lua
- Makefile
- Nearley
- Nix
- OCaml
- Objective-C
- OpenSCAD
- PHP
- Perl
- PostScript
- Python
- Racket
- Rocq Prover
- Ruby
- Rust
- SMT
- Sail
- Shell
- Smarty
- Solidity
- Standard ML
- Starlark
- Svelte
- Swift
- TeX
- TypeScript
- Typst
- Vim Script
- Zig
Patchwork is a web-based patch tracking system designed to facilitate the contribution and management of contributions to an open-source project.
A tool for integrating Git with Patchwork, the web-based patch tracking system
A Nix flake-parts module for wrapping programs with a sandboxed environment using landrun (Landlock) on Linux, and sandbox-exec on macOS.
🚀2.3x faster than MinIO for 4KB object payloads. RustFS is an open-source, S3-compatible high-performance object storage system supporting migration and coexistence with other S3-compatible platfor…
Unit testing for Nix code [maintainer=@adisbladis]
Incus frontend to describe and provision development environments
A Neovim plugin for streamlining code reviews directly in your editor. Inspired by ReviewIt.
A lightweight command-line tool that spins up a local web server to display Git commit diffs in a GitHub-like Files changed view
Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier
A graphical frontend for exploring your org-roam Zettelkasten
A nixos module to make buildbot a proper Nix-CI [maintainer=@Mic92,@MagicRB]
Automation engine to build, test and ship any codebase. Runs locally, in CI, or directly in the cloud
CSI driver for Nixxing Kubernetes, see develop branch!
A new signature format for Nix - for verifiable provenance data and SBOMs.
Kotlin implementation of the age file encryption format
An optimized general monad transformer for streaming applications, with a simple prelude of functions
Haskell library containing common graph search algorithms