Spell Checker for Code

Nix language server, based on nix libraries [maintainer=@inclyc,@Aleksanaa]

A flexible developer tool that runs processes and responds to filesystem changes

high-performance graph database for real-time use cases

Fast key-value DB in Go.

An experimental library for Cubical Agda

Chaos engineering platform

Site Reliability Engineer Interview Preparation Guide

Run unpatched dynamic binaries on NixOS [maintainer=@Mic92]

Spawns lightweight nixos vms in a shell

A container debugging tool based on FUSE

app2nix simplifies running and building .deb application on NixOS. Autobuild .deb to default.nix config for running on your system

Bubble up the correct paths to your shared object libraries in Nix

General-purpose editor/IDE with high expansibility in Common Lisp

A sensible Common Lisp linter that catches real mistakes, not style

A linter for Common Lisp source code using SBCL

Python client for working with Yandex.Tracker Api

Automated database platform for PostgreSQL® - Your own DBaaS.

This project is a Fork of Prism Launcher, which aims to 'unblock' the use of Offline Accounts, disabling the restriction of having a functional Online Account. No other modifications were applied t…

s6 overlay for containers (includes execline, s6-linux-utils & a custom init)

The seL4 microkernel

A CLI tool to sign and verify artifacts

A prompt engineering functional programming language

KCL Programming Language Core and API (CNCF Sandbox Project). https://kcl-lang.io

Flake templates

Allows package maintainers to merge in nixpkgs [maintainers=@NixOS/nixpkgs-ci]

A FUSE filesystem that allows tools like gdb to look up debug info files via HTTP

A standalone Nix binary cache server

A small utility to modify the dynamic linker and RPATH of ELF executables

Nix, the purely functional package manager