cargo run for the browser

Direct File

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦

Slint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

3D force-directed graph component using ThreeJS/WebGL

More powerful and customizable tables in Typst

Copy playlists and liked music from Spotify to YTMusic

A markup-based typesetting system that is powerful and easy to learn.

[WIP] A simple news reading GUI app built in Rust

a super simple, no-nonsense diagramming library written in react that just works

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

Research programming language for concurrent ownership

An idiomatic, lean, fast & safe pure Rust implementation of Git

Beautiful diagnostic reporting for text-based programming languages.

Naive linter for English prose

An alternative TUI for gdb

Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

ISO C++ Core Guidelines Library implementation for C++98, C++11 up

lemon parser generator, with better c++11 support

ripgrep recursively searches directories for a regex pattern while respecting your gitignore