Fast and simple benchmarking for Rust projects

Heap memory usage estimation

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

A programming language supporting most of both declarative and imperative programming

Safe cross-platform linker shenanigans

Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions

Run Rust files and expressions as scripts without any setup or compilation step.

Attribute macro to require that the compiler prove a function can't ever panic

The IntercalScript programming language

A static verifier for Rust, based on the Viper verification infrastructure.

A library for compact bit sets containing enums.

Rusty Object Notation

Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.

A data-first Rust-native UI design toolkit.

Serialization library with zero dependencies

Emacs mode for Rusty Object Notation (RON) files

A safe and fast multi-producer, multi-consumer channel.

A terse syntactic dialect of Rust à la Haskell

doom-emacs packaged for Nix

Coroutine and async/await support for tokio-based futures

Component Graph System experiment

Hypertypes - generic programming for heterogeneous recursive types

lamdu - towards the next generation IDE

Nix configuration for reproducible builds of LaTeX documents

Efficient transactional memory in rust.

Zero-cost ultra-high-performance declarative DOM library using FRP signals for Rust!

🐀 A link aggregator and forum for the fediverse

Cross-platform Rust rewrite of the GNU coreutils

CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory