A highly extensible Git implementation in pure Go.

End-to-end realtime stack for connecting humans and AI

A powerful and user-friendly binary analysis platform!

Official Go implementation of Apache Arrow

The Apache Kafka C/C++ library

Fast Rust library for PDF inspection, classification, and text extraction. Intelligently detects scanned vs text-based PDFs to enable smart routing decisions.

EdegQuake 🌋 High-performance GraphRAG inspired from LightRag written in Rust; Transform documents into intelligent knowledge graphs for superior retrieval and generation

This is an active mirror of the KiCad development branch, which is hosted at GitLab (updated every time something is pushed). Pull requests on GitHub are not accepted or watched.

A Rust crate for cooking up terminal user interfaces (TUIs) 👨‍🍳🐀 https://ratatui.rs

A framework for formally verifying distributed systems implementations in Coq

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

Verified Software Toolchain

A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]

TCP port scanner, spews SYN packets asynchronously, scanning entire Internet in under 5 minutes.

🤖 The Modern Port Scanner 🤖

The first open-source harness builder for AI coding. Make AI coding deterministic and repeatable.

IronClaw is OpenClaw inspired implementation in Rust focused on privacy and security

🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.

JSON for Modern C++

A cross-platform, linkable library implementation of Git that you can use in your application.

VoxCPM2: Tokenizer-Free TTS for Multilingual Speech Generation, Creative Voice Design, and True-to-Life Cloning

Headless browser automation server for AI agents to visit sites that are usually blocked

🪨 why use many token when few token do trick — Claude Code skill that cuts 65% of tokens by talking like caveman

Sourcegraph with Docker Compose deployment reference

Low latency inter-thread communication library in Rust inspired by the LMAX Disruptor.

Simple Yet Powerful Anti-Detect Browser 🍩

ollvm adaption to llvm

List of (truly) awesome Obfuscator-LLVMs and IDA deobfuscation plugins