utaal

motion-canvas

Visualize Your Ideas With Code

Dozer

Hide menu bar icons on macOS

llm

[Unmaintained, see README] An ecosystem of Rust libraries for working with large language models

evcxr

try

Inspect a command's effects before modifying your live system

tch-rs

Rust bindings for the C++ api of PyTorch.

cve-rs

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

userscripts

An open-source userscript manager for Safari

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.

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

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

serde_tokenstream

serde::Deserializer for proc_macro/proc_macro2::TokenStream

sdcard6502

Reading SD cards on a homebrew 6502 computer - tutorial guide and sample code

libraries

Libraries useful for Dafny programs

sabi

Formal semantics of Rust

ui_test

A test framework for testing rustc diagnostics output

russol-alpha

A tool for synthesis of Rust code, very early prototype

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