utaal

etherpad-lite

Etherpad: A modern really-real-time collaborative document editor.

foam

A personal knowledge management and sharing system for VSCode

try

Inspect a command's effects before modifying your live system

cve-rs

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

userscripts

An open-source userscript manager for Safari

dprint

Pluggable and configurable code formatting platform written in Rust.

samply

Command-line sampling profiler for macOS and Linux

flowistry

Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

rust-script

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

tokio-uring

An io_uring backed runtime for Rust

MIRAI

Rust mid-level IR Abstract Interpreter

async-channel

Async multi-producer multi-consumer channel

num-traits

Numeric traits for generic mathematics in Rust

splinterdb

High Performance Embedded Key-Value Store

pdfannots

Extracts and formats text annotations from a PDF file

event-listener

Notify async tasks or threads

typify

compiler from JSON Schema into idiomatic Rust types

hacspec

Please see https://github.com/hacspec/hax

priroda

A graphical debugger for Rust MIR

tango

Markdown-based Literate programming in Rust, integrated with Cargo.

jf

flatten them json

atone

A `VecDeque` (and `Vec`) variant that spreads resize load across pushes.

spec

The Rust specification

libraries

Libraries useful for Dafny programs

ui_test

A test framework for testing rustc diagnostics output

sabi

Formal semantics of Rust

axiom-profiler-2

The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).

temporal-verifier

An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition systems in first-order logic and verify temporal correctness properties, including safety and liveness.

mariposa

cuvee

A tool for Boogie and SMT-LIB engineering