IntegralPilot / rustc_codegen_jvm

Compile Rust to Java bytecode and runnable JARs.

kylebarron / parquet-wasm

Rust-based WebAssembly bindings to read and write Apache Parquet data

grafana / augurs

Time series analysis for Rust, with bindings to Python and Javascript

astrio-labs / forall-mcp

Forall (∀) is a coding harness from Astrio that helps developers build correct software by generating spec-driven code alongside machine-checkable proofs.

azat-io / todoctor

🐍 CLI tool to analyze and report TODO comments in JavaScript and TypeScript Git repositories

verifast / verifast

Research prototype tool for modular formal verification of C, Rust and Java programs

ejfkdev / ddc

Android DEX → Java decompiler in Rust, built for speed — full apps in seconds, queries in milliseconds. Progressive analysis, javac-verified output, every DEX version, multi-dex & XAPK/APKS/APKM containers.

ludovic111 / horizon

Minecraft: Java Edition 26.3 rewritten from scratch in Rust, checked against vanilla with 281 differential harnesses. Get it with the Horizon launcher.

arcships / aimux

Unified LLM access layer in Rust — one API for 325 AI providers. 统一 LLM 服务接入层：一套 API 接入 325 家 AI 服务商。

supercorp-ai / supercov

Coverage, security and code quality for coding agents

furyteamtop / fury-antidetect-browser

Free, open-source anti-detect browser. A Chromium 155 fork that spoofs the fingerprint in C++ rather than with injected JavaScript, with per-profile personas and proxies, a built-in MCP server for AI assistants, and a self-hostable team server with per-project access. No seats, no per-profile pricing, no telemetry.

airbus-cert / ditto

Powershell & Javascript Obfuscator

NullByte3 / midden

Fast JVM heap dump analyser: retained sizes, owners and leak suspects from .hprof files. One static binary, no JDK needed.

smileybaal / gamedb

Zero-dependency native CLI that indexes decompiled source (C/C++/Java/C#) into SQLite for search, call-graph and module queries. Single Rust binary, no crates.