The Analytical Compiler for Neural Network Architectures: predict cost, memory, performance before training. 11 families, 680+ blocks, 88 templates, 55+ metrics in <50ms. Rust IR + MLIR, React UI.

The official Rust SDK for the Model Context Protocol

All-in-one MCP tool written in Rust, support conversational AI to manage skills. Integrated MCP server, visual web admin panel and egui desktop client, with auto skill scanning, lock-free hot reloa…

A Pure Rust based LLM, VLM, VLA, TTS, OCR Inference Engine, powering by Candle & Rust. Alternate to your llama.cpp but much more simpler and cleaner..

The most RAM efficient harness

Agent skill: make LLMs write docs in ASD-STE100 Simplified Technical

I3DP Artifact for SOSP 2026: Automatic Inductive Invariant Inference for TLA+ Protocols

Feasibility spike: extracting Linux kernel Rust parsers (Binder) into LLBC via Charon, toward Lean 4 verification

Compile-time Rust tensor graphs backed by IREE

Finding ownership bugs at scale.

Send files and folders anywhere in the world without storing in cloud - any size, any format, no accounts, no restrictions ( previously Altsendme )

A Rust GUI framework — Signal is the only state.

Public security findings discovered by SecureLoop (ML-guided fuzzing orchestrator). Each finding published after upstream issue filed.

Making the Model-Kernel Interface Explicit for Reliable CUDA Kernel Verification

A Rust compiler backend and runtime that compiles Rust kernels to many NPU/GPU accelerators via MLIR — vendor-agnostic (Ascend, Trainium, Ryzen AI, CUDA, MUSA, Vulkan, Metal, Cambricon, Gaudi).

Run AI harnesses like Claude Code, Codex, Copilot, Antigravity, and Omnigent in disposable workspace forks. Review, merge, or roll back changes with policy enforcement and provenance.

cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign languag…

Detect concurrency and memory bugs and possible panic locations in Rust projects

A unified agent memory workspace for human and agent

a collection of well-tested, serializable CRDTs for Rust

Cargo Sherlock 🕵️ is an automated reasoning tool for quantify trust in Rust software.

MSR 2026 - RustXec: A Vulnerability Reproduction Dataset for Assessing Security Risks in Open-Source Rust Applications

Claude Code skill: Software design philosophy guide based on A Philosophy of Software Design by John Ousterhout

A complete AI agency at your fingertips - From frontend wizards to Reddit community ninjas, from whimsy injectors to reality checkers. Each agent is a specialized expert with personality, processes…

A reference architecture for differential fuzzing using a formally verified oracle

Declarative binary reading and writing: bit-level, symmetric, serialization/deserialization

Illegal rust