Reference parser and interpreter for the Dogwood policy language

Implementation of the Cedar Policy Language

meat.dev

⚙️ A conflict-driven nogood learning answer set solver

🦉 A grounder and solver for logic programs.

A complete Sigma detection engineering toolkit: parser, linter, evaluator, correlation engine, conversion framework, streaming daemon, MCP and LSP servers 🦀

Postgres rewritten in Rust, now faster than Postgres and Clickhouse

Tesseract Open Source OCR Engine (main repository)

Magical Deterministic Simulator for distributed systems in Rust.

Official code for "F5-TTS: A Fairytaler that Fakes Fluent and Faithful Speech with Flow Matching"

Pre-indexed code knowledge graph, auto syncs on code changes, for Claude Code, Codex, Gemini, Cursor, OpenCode, AntiGravity, Kiro, and Hermes Agent — fewer tokens, fewer tool calls, 100% local

Command line tool for the Mermaid library

The Deterministic Foundation for your SDLC

Fast, Declarative, Reproducible, and Composable Developer Environments using Nix

A sandboxed execution environment for unikernels

Build Mirage unikernels with Nix

Fil-C: completely compatible memory safety for C and C++

Spot vulnerabilities in postgres SQL scripts

Proactively shrink a Linux host's kernel-module attack surface by blacklisting every module not currently in use.

PostgreSQL in-database durable execution

SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.

Find vulnerabilities, misconfigurations, secrets, SBOM in containers, Kubernetes, code repositories, clouds and more

Kubernetes GitOps with nix and Argo CD.

Brings native understanding of Nix packages to containerd

Kubernetes IN Docker - local clusters for testing Kubernetes

Search infrastructure for AI

CLI tool and library for generating a Software Bill of Materials from container images and filesystems

Kubernetes management with Nix

Protect against malicious code installed via npm, yarn, pnpm, npx, pnpx, pip, uv and poetry with Aikido Safe Chain. Free to use, no tokens required.

Tools for concurrent programming in Rust