Stars
⚙️ A conflict-driven nogood learning answer set solver
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
Fast, Declarative, Reproducible, and Composable Developer Environments using Nix
pizlonator / fil-c
Forked from llvm/llvm-projectFil-C: completely compatible memory safety for C and C++
Proactively shrink a Linux host's kernel-module attack surface by blacklisting every module not currently in use.
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
Brings native understanding of Nix packages to containerd
Kubernetes IN Docker - local clusters for testing Kubernetes
CLI tool and library for generating a Software Bill of Materials from container images and filesystems
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
nix2sbom extracts the CycloneDX and SPDX SBOM (Software Bill of Materials) from a Nix derivation
Safe and low overhead (eBPF-based) real-time observability of your certificate estate including certificate, process and k8s context info