📌 Marque-pages Pinboard

Slint, the declarative GUI toolkit for Rust, C++, JavaScript, and Python. Build elegant, modern, stylish, native GUIs for Embedded, Desktop, and Web. Complete your UI design through quick iterations using Live Preview. Tweak everything, like colors, animations, geometries, or text. and verify the changes instantly. Build a responsive UI from a single design. Target different screen resolution and sizes with flexible layouts. Enjoy flexibility that only a native application can provide: Access full operating system APIs, utilize all CPU and GPU cores, connect to any peripheral. Slint compiles your UI design to machine code. Achieve low footprint and minimal resource consumption. The Slint runtime fits in less than 300KiB RAM, features a reactive property system, and is built with Rust. Deliver a smooth user experience. Slint uses the optimal graphics rendering method: GPU accelerated, DMA2D, Framebuffer, or Linebuffer. Continue using your favourite IDE. Choose between our generic language server and VS Code extension: Enjoy code completion, live-preview, code navigation, diagnostics, and syntax highlighting.

Rust GUI components for building fantastic cross-platform desktop application by using GPUI. - longbridge/gpui-component

Ferrocene enables Rust to be a first-class language for mission-critical- and functional-safety systems at the highest security levels.

I blog mostly about my own programming projects.

⚓ 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