vakaras

mir-dump

smauglys

crates.io-index

Registry index for crates.io

datapond

A set of tools for working with datafrog

docker-texlive

Docker image with Tex Live.

egg

egg is a flexible, high-performance e-graph library

flowistry

loom

Concurrency permutation testing tool for Rust.

MIRAI

Rust mid-level IR Abstract Interpreter

miri

An interpreter for Rust's mid-level intermediate representation

panic-never

This crate guarantees that your application is free of panicking branches

polonius

Defines the Rust borrow checker.

priroda

A graphical debugger for Rust MIR

proc-macro-hack

Procedural macros in expression position

quick-run-code

rsmt2

A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.

rust

A safe, concurrent, practical language.

rust-1

RustPräzi: Representing crates.io as a call-based dependency network

rust-ebpf-demo

Example of building and running an eBPF program in Rust

rustwide

Execute your code on the Rust ecosystem.

salsa

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

smauglys-ide

binary releases of VS Code without MS branding/telemetry/licensing

smt2utils

Libraries and tools for the SMT-LIB-2 standard.

svirpti

vscode-code-runner

Code Runner for Visual Studio Code

vscode-language-pack-lt

Lietuvybės paketas skirtas VS Code.

vscode-python

Python extension for Visual Studio Code

wg-verification

Verification working group

z3

The Z3 Theorem Prover

z3.rs

Rust bindings for the Z3 solver.