Stars
A simple yet powerful tool to turn traditional container/OS images into unprivileged sandboxes.
Userspace macOS translation layer for Linux ARM64
dewasm converts WebAssembly binaries into pure source code for languages like Ruby, Bash, and Go. No WebAssembly runtime is required.
Zero-copy, content-addressed Rust build cache for Rust, C/C++ and more. No copies, no wasted disk — just hardlinks locally and S3 for sharing.
An agent-first decompiler designed to be refined by other agents. Kuna is written in Rust and was originally ported from Ghidra.
Nintendo 3DS homebrew application that embeds a full RISC-V emulator to boot a Linux environment inside the 3DS Horizon OS.
Visualize, query, and stream to train on multimodal robotics data.
Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc
DecBench: An experimental living benchmark to measure how close we are to perfect decompilation on binaries.
Orchestrate multiple coding agents from desktop and mobile
OpenTelemetry Browser SDK and instrumentation
A compiler that translates sanpou source code into TLA+. It can also annotate TLC model checker output traces with sanpou source line numbers.
MInimal Musical medIUM - an infrastructural language for sound and music.
A small, fast, and embeddable programming language based on Lua with a gradual type system.
Static Value-Flow Analysis Framework for Source Code
Make your functions return something meaningful, typed, and safe!
Minimal implementation of the Email Verification Protocol on Cloudflare Workers + Zero Trust.
A Rust implementation of TCP using Multiparty session types
Labeled reverse-engineering dataset over 4,598 crackmes: flags, verifier scripts, and normalized obfuscation tags.
cuTile Rust provides a safe, tile-based kernel programming DSL for the Rust programming language. It features a safe host-side API for passing tensors to asynchronously executed kernel functions.
Postgres rewritten in Rust, now faster than Postgres and Clickhouse