Robbepop

apint

Arbitrary precision integers library.

runwell

An experimental WebAssembly virtual machine.

dimacs-parser

Utilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.

indexmap-nostd

A `no_std` implementation of the `indexmap` crate.

interpreter-dispatch-research

Some research on efficient interpreter instruction dispatch in Rust.

polonius

Defines the Rust borrow checker.

rust_m3

An attempt at building a threaded code interpreter architecture in Rust.

wasm_kernel

A Wasm kernel for benchmarking wasmi.

cargo-expand

Subcommand to show result of macro expansion

cargo-spellcheck-action

Github action for cargo-spellcheck

cnf-problems

A collection of CNF problems used for SAT solver benchmarks.

const-default-rs

A Default-like trait and derive macros for const evaluation contexts.

const-default.rs

cortex-m

Low level access to Cortex-M processors

jit-tutorial

How to write a very simple JIT compiler

life_web

Life simulation written in rust

ocaml-interop

OCaml<->Rust FFI with an emphasis on safety.

ocaml-rs

OCaml extensions in Rust

proposals

Tracking WebAssembly proposals

pyasmtool

Explores the python bytecode, provides some tools to access it for fun and profit.

rust_serialization_benchmark

Benchmarks for rust serialization frameworks

rustc-regression-102952

MCVE for the Rust compiler performance regression #102952

screwsat

A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.

starlit

CDCL SAT solver written in Rust. Very early work in progress, not really usable yet. Beware of force pushes.

string-interner-comparison

synstructure

Utilities for dealing with substructures within syn macros

trybuild

Test harness for ui tests of compiler diagnostics

type_at

Allows to index into the types of Rust tuples at compile time.

wasm-spec-interpreter

Web49

Web49: WebAssembly Interpeter