Alternatives and similar repositories for spec

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

• rust-lang / rust-project-goals
  Rust Project Goals tracker
  ☆76Updated 2 weeks ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆74Updated 11 months ago
• jsinger67 / parol
  LL(k) and LALR(1) parser generator for Rust
  ☆212Updated this week
• dtolnay / unicode-ident
  Determine whether characters have the XID_Start or XID_Continue properties
  ☆91Updated 2 weeks ago
• rust-lang / keyword-generics-initiative
  Public repository for the Rust keyword generics initiative
  ☆100Updated 9 months ago
• rust-lang / const-eval
  home for proposals in and around compile-time function evaluation
  ☆110Updated last year
• dtolnay / seq-macro
  Macro to repeat sequentially indexed copies of a fragment of code
  ☆155Updated 2 weeks ago
• rodrimati1992 / const_format_crates
  Compile-time string formatting
  ☆236Updated 5 months ago
• rust-lang / cargo-bisect-rustc
  Bisects rustc, either nightlies or CI artifacts
  ☆185Updated this week
• dtolnay / ref-cast
  Safely cast &T to &U where the struct U contains a single field of type T.
  ☆204Updated 2 weeks ago
• rust-lang / project-safe-transmute
  Project group working on the "safe transmute" feature
  ☆92Updated 8 months ago
• Kobzol / cargo-remark
  Cargo subcommand for viewing LLVM optimization remarks.
  ☆176Updated last year
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆26Updated last year
• oli-obk / ui_test
  A test framework for testing rustc diagnostics output
  ☆31Updated this week
• rust-lang / a-mir-formality
  a model of MIR and the Rust type/trait system
  ☆301Updated 2 months ago
• endorlabs / MIRAI
  ☆144Updated 2 months ago
• zakarumych / allocator-api2
  Mirror of Rust's allocator api for use on stable rust
  ☆60Updated 3 weeks ago
• unicode-rs / unicode-xid
  ☆49Updated 3 months ago
• sunfishcode / c-ward
  An implementation of libc written in Rust
  ☆290Updated last month
• rust-marker / marker
  An experimental linting interface for Rust. Let's make custom lints a reality
  ☆148Updated last year
• dtolnay / readonly
  Struct fields that are made read-only accessible to other modules
  ☆251Updated 2 weeks ago
• botahamec / happylock
  Deadlock free mutexes
  ☆174Updated 2 months ago
• Kixiron / lasso
  A fast, concurrent string interner
  ☆150Updated 9 months ago
• sagebind / castaway
  Safe, zero-cost downcasting for limited compile-time specialization.
  ☆162Updated last week
• sunfishcode / origin
  Program startup and thread support written in Rust
  ☆185Updated 2 weeks ago
• rust-lang / impl-trait-utils
  Utilities for working with impl traits in Rust.
  ☆109Updated 4 months ago
• cognitive-engineering-lab / rustc_plugin
  A framework for writing plugins that integrate with the Rust compiler
  ☆151Updated last month
• fitzgen / id-arena
  A simple, id-based arena
  ☆119Updated last year
• llvmenv / llvmenv
  Manage multiple LLVM/Clang builds
  ☆162Updated last year
• giraffate / clippy-action
  ☆69Updated last year