Alternatives and similar repositories for thesis

Users that are interested in thesis are comparing it to the libraries listed below

• llogiq / overflower
  A Rust compiler plugin and support library to annotate overflow behavior
  ☆106Updated last year
• bluss / indexing
  Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.
  ☆102Updated 5 years ago
• rust-lang / const-eval
  home for proposals in and around compile-time function evaluation
  ☆108Updated last year
• fitzgen / intrusive_splay_tree
  An intrusive splay tree implementation that is no-std compatible and free from allocation and moves
  ☆67Updated 3 weeks ago
• gnzlbg / ctest
  Automatic testing of FFI bindings for Rust
  ☆122Updated 3 years ago
• Manishearth / absolution
  "Freedom from syn": Proc macro tools for operating on token trees
  ☆108Updated 5 years ago
• Centril / rust-safe
  A `#[safe]` attribute for explaining why `unsafe { ... }` is OK.
  ☆81Updated 5 years ago
• shepmaster / jetscii
  A tiny library to efficiently search strings for sets of ASCII characters and byte slices for sets of bytes.
  ☆114Updated 9 months ago
• Xion / cargo-contribute
  Cargo subcommand for contributing to your dependencies
  ☆56Updated 5 years ago
• oli-obk / priroda
  A graphical debugger for Rust MIR
  ☆188Updated 2 years ago
• apasel422 / eclectic
  Experimental collection traits for Rust
  ☆28Updated 8 years ago
• DanielKeep / rust-custom-derive
  Custom derivation macro for Rust
  ☆111Updated 7 years ago
• JoshMcguigan / multi_try
  Safely combine results
  ☆81Updated 8 months ago
• tov / min-max-heap-rs
  A double-ended priority queue
  ☆39Updated 3 months ago
• nikomatsakis / borrowck
  Modeling NLL and the Rust borrowck
  ☆80Updated 7 years ago
• MovingtoMars / liner
  A readline-like library in Rust.
  ☆74Updated 2 years ago
• JoshMcguigan / exit
  Custom exit status codes with ? in main
  ☆29Updated 5 years ago
• japaric / panic-never
  This crate guarantees that your application is free of panicking branches
  ☆177Updated 5 years ago
• jswrenn / typic
  Type-safe transmutations between layout-compatible types.
  ☆122Updated 4 years ago
• Manishearth / mitosis
  Spawn processes with arbitrary closures in rust
  ☆111Updated 3 years ago
• mitsuhiko / sha1-smol
  Minimal and dependency free implementation of SHA1 for Rust
  ☆78Updated 9 months ago
• saschagrunert / rain
  Visualize vertical data inside your terminal 💦
  ☆90Updated 3 months ago
• matklad / proc-caesar
  A proc-macro to break Rust IDEs
  ☆64Updated 3 years ago
• ipetkov / conch-parser
  A library for parsing programs written in the shell programming language.
  ☆65Updated 4 years ago
• llogiq / optional
  A small crate to provide space-efficient Option<_> replacements
  ☆37Updated 2 months ago
• servo / heapsize
  In support of measuring heap allocations in Rust programs.
  ☆101Updated 5 years ago
• aticu / pre
  A rust crate to offer compile-time assistance for working with unsafe code.
  ☆122Updated 3 years ago
• jonhoo / arrav
  A sentinel-based, heapless, `Vec`-like type.
  ☆69Updated 5 years ago
• Geal / tracing_allocator
  This custom Rust allocator logs all memory actions for further analysis
  ☆54Updated 4 years ago
• tomprogrammer / rust-ascii
  ASCII-only equivalents to `char`, `str` and `String`.
  ☆73Updated 9 months ago