An agent-first decompiler designed to be refined by other agents. Kuna is written in Rust and was originally ported from Ghidra.
A safe, easy systems language
Refinement Types for Rust
AI-powered desktop app for migrating Python projects to Rust. Supports multiple LLM providers (OpenAI, Anthropic, Ollama), includes 300+ library mappings, automatic dependency detection, compile verification, and iterative code refinement. Built with Tauri 2.0.