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
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
An either-or-both data type, with corresponding hybrid error/writer monad transformer.
πββοΈ Lightweight pure validation based on Applicative and Selective functors
Some conveniences for hoisting errors into monads
Declarative hardware configuration for NixOS [maintainer=@brianmcgee,@Mic92]
Install NixOS everywhere via SSH [maintainers=@Mic92 @Lassulus @phaer @Enzime @a-kenji]