cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Python 3.14, compiled to metal β JIT & AoT native compiler and runtime in Rust. Cranelift backend, ruff parser, Green Tea GC, byte-exact differential testing against CPython.
goboscript is the Scratch compiler
An Extensible Compiler IR Framework
Vx: one language, every chip.
A native APK and DEX decompiler written in Rust
CalcKernel compiler, runtime, tests, examples, documentation, and public releases
A MenSharp compiler with better C# compatibility than UdonSharp.
The Whim Programming Language
Blazing β‘οΈ fast (La)TeX compiler + IDE written in Rust (HackCMU 2026 Winner)
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.
Fast, unofficial Elm 0.19.1 compiler written in Rust β drop-in replacement for elm (npm: @spottt/elm-compiler)
Packet Language for On-device Warps β a GPU inference compiler and runtime
π₯· Give your codebase a black belt. Local code intelligence, security analysis, and compiler-backed facts for humans and AI.
The AI agent-native systems programming language: Meaning in. Verified machine code out. All target OS, memory managed through Ownership & fully interoperable with existing ecosystems & object-oriented AI Agents with payment capability.
η²€θ―η·¨η¨θͺθ¨.The Cantonese programming language.
An execution engine for Wireshark-like filters
A Python Interpreter written in Rust