📌 Marque-pages Pinboard

⚓ A collection of JavaScript tools written in Rust. - oxc-project/oxc

Fast package resolver written in Rust (CDCL based SAT solving) - mamba-org/resolvo

An open source Python 3 (CPython >= 3.11.0) interpreter written in Rust 🐍 😱 🤘

Turbo is an incremental bundler and build system optimized for JavaScript and TypeScript, written in Rust.

Tauri is a framework for building tiny, blazing fast binaries for all major desktop platforms. Developers can integrate any front-end framework that compiles to HTML, JS and CSS for building their user interface.

amos loves to tinker

Flash Player emulator written in the Rust programming language

Simple, small, and extremely fast template engine for Rust - rust-sailfish/sailfish: Simple, small, and extremely fast template engine for Rust

deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications! - xldenis/creusot: deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot. - sarsko/CreuSAT: CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

Continuous Looper - 8-track live-looper and performance sampler