jethrogb / rust-reduce

Related projects ⓘ

Alternatives and complementary repositories for rust-reduce

• Manishearth / mitosis
  Spawn processes with arbitrary closures in rust
  ☆109Updated 3 years ago
• Centril / rust-safe
  A `#[safe]` attribute for explaining why `unsafe { ... }` is OK.
  ☆81Updated 5 years ago
• aticu / pre
  A rust crate to offer compile-time assistance for working with unsafe code.
  ☆121Updated 3 years ago
• jrmuizel / memcpy-find
  A tool for finding large memcpy's in llvm ir
  ☆59Updated 5 years ago
• jswrenn / typic
  Type-safe transmutations between layout-compatible types.
  ☆120Updated 4 years ago
• japaric / panic-never
  This crate guarantees that your application is free of panicking branches
  ☆177Updated 5 years ago
• rust-lang / const-eval
  home for proposals in and around compile-time function evaluation
  ☆105Updated last year
• matklad / proc-caesar
  A proc-macro to break Rust IDEs
  ☆63Updated 3 years ago
• servo / heapsize
  In support of measuring heap allocations in Rust programs.
  ☆99Updated 5 years ago
• llogiq / overflower
  A Rust compiler plugin and support library to annotate overflow behavior
  ☆105Updated last year
• rust-lang / gll
  GLL parsing framework.
  ☆138Updated 8 months ago
• japaric / cast.rs
  Machine scalar casting that meets your expectations
  ☆73Updated 3 years ago
• o0Ignition0o / cargo-scout
  ☆66Updated 3 years ago
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆58Updated 3 months ago
• JoshMcguigan / multi_try
  Safely combine results
  ☆81Updated 2 months ago
• Diggsey / spanr
  Procedural macro span debugger/visualizer
  ☆40Updated 4 years ago
• icefoxen / arewestdlibyet
  A list of useful Rust crates.
  ☆42Updated 7 years ago
• llogiq / compact_arena
  A crate with indexed arenas with small memory footprint
  ☆76Updated 2 months ago
• jakubadamw / rutenspitz
  А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation
  ☆81Updated last year
• anp / lolbench
  tracking performance of rustc-generated binaries over time
  ☆105Updated last year
• fitzgen / inlinable_string
  An owned, grow-able UTF-8 string that stores small strings inline and avoids heap-allocation.
  ☆68Updated 2 years ago
• nrc / stupid-stats
  Tutorial and demo of rust compiler replacement tooling
  ☆56Updated 3 years ago
• bluss / indexing
  Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.
  ☆101Updated 5 years ago
• dtolnay / mashup
  Concatenate identifiers in a macro invocation
  ☆93Updated last year
• withoutboats / kudzu
  skiplist
  ☆140Updated 2 years ago
• Yoric / yaiouom
  Prototype extension of the Rust type system towards checking units-of-measure
  ☆108Updated 4 years ago
• CAD97 / pointer-utils
  A collection of small utilities for working with pointer types in Rust.
  ☆119Updated last year
• Manishearth / absolution
  "Freedom from syn": Proc macro tools for operating on token trees
  ☆107Updated 4 years ago
• sagebind / sluice
  Asynchronous byte buffers and pipes for concurrent I/O programming.
  ☆99Updated last year