Skip to content
View SRv6d's full-sized avatar
🦀
Ze crab will eat ze bugs
🦀
Ze crab will eat ze bugs

Block or report SRv6d

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Techniques and numbers for estimating system's performance from first-principles

Rust 5,243 215 Updated Mar 21, 2026

Creusot helps you prove your Rust code is correct.

Rust 1,769 78 Updated Jun 12, 2026

Detect blocking code in Tokio async tasks. (Rust)

Rust 90 Updated Aug 25, 2025

Agent Workflow Manager - add structure and automation to your agentic software development lifecycle from issue to merged PR via TUI, CLI, or API

Rust 50 8 Updated Jun 11, 2026

Tokio Telemetry you can run in production

Rust 371 31 Updated Jun 12, 2026

An OpenAPI client generator

Rust 942 130 Updated Jun 11, 2026

A routing stack written in Rust.

Rust 92 6 Updated Jun 11, 2026

A minimal, secure Python interpreter written in Rust for use by AI

Rust 7,668 374 Updated Jun 12, 2026

The live data layer for apps and AI agents. Create up-to-the-second views into your business, just using SQL

Rust 6,316 508 Updated Jun 12, 2026

Fast Assessment Laboratory for Computers On Networks

Rust 18 5 Updated Jun 10, 2026

Omicron: Oxide control plane

Rust 533 85 Updated Jun 12, 2026

Packet, where are you? -- eBPF-based Linux kernel networking debugger

C 3,771 224 Updated Jun 12, 2026

🚀2.3x faster than MinIO for 4KB object payloads. RustFS is an open-source, S3-compatible high-performance object storage system supporting migration and coexistence with other S3-compatible platfor…

Rust 28,711 1,243 Updated Jun 12, 2026

Fast, modern traceroute with real-time TUI, per-hop stats, ASN/geo lookup, ECMP detection, and MPLS label parsing. A better mtr.

Rust 1,042 68 Updated Jun 11, 2026

Fast IoC matching: scan logs for threat intel (IPs, domains, hashes).

Rust 14 1 Updated Mar 21, 2026

A compact programmable proxy engine.

Rust 84 4 Updated Jun 11, 2026

an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM

Rust 49,053 5,172 Updated Jun 12, 2026

Kani Rust Verifier

Rust 3,125 147 Updated Jun 8, 2026

🫖 Status page with uptime monitoring & API monitoring as code 🫖

TypeScript 8,746 678 Updated Jun 12, 2026

Real-time monitoring, metrics and logs for Rust channels. Now integrated with https://hotpath.rs

Rust 369 7 Updated Nov 20, 2025

Static analysis for GitHub Actions

Rust 5,627 216 Updated Jun 10, 2026

Systemd Hardening Helper - Automatic systemd service hardening guided by strace profiling

Rust 369 6 Updated May 31, 2026

Scan your Rust crate for semver violations.

Rust 1,635 130 Updated Jun 8, 2026

Work in progress distributed system that simplifies the orchestration of containers and virtual machines.

Rust 983 53 Updated Jun 8, 2026
Rust 433 9 Updated Feb 9, 2026

Magical Rust patterns laid out and simplified

Rust 1,872 55 Updated Aug 15, 2025

A library that provides an embeddable, persistent key-value store for fast storage.

C++ 31,758 6,849 Updated Jun 12, 2026

Define and run multi-service applications on isolated environments with Nix or Docker ❄️🐋 🛠️ 💻 ✨

Rust 68 8 Updated Nov 1, 2023
Rust 18 2 Updated May 15, 2025

IP addresses break, dial keys instead. Modular networking stack in Rust.

Rust 8,702 417 Updated Jun 12, 2026
Next