Alternatives and similar repositories for portkit

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

• advancedresearch / prop
  Propositional logic with types in Rust
  ☆64Updated 2 years ago
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆259Updated last week
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆39Updated 7 months ago
• AeneasVerif / eurydice
  Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆274Updated last week
• camshaft / bolero
  property testing and verification front-end for Rust
  ☆224Updated last month
• vaivaswatha / pliron
  An Extensible Compiler IR Framework
  ☆235Updated this week
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆100Updated this week
• cbeuw / rustlantis
  UB-free and deterministic rustc fuzzer
  ☆92Updated 2 weeks ago
• nikis05 / derive-visitor
  ☆39Updated last year
• Shnatsel / bounds-check-cookbook
  Recipes for avoiding bounds checks in Rust, without unsafe!
  ☆133Updated 2 years ago
• endorlabs / MIRAI
  ☆190Updated 10 months ago
• awslabs / spindle
  ☆17Updated 4 months ago
• cognitive-engineering-lab / rustc_plugin
  A framework for writing plugins that integrate with the Rust compiler
  ☆162Updated 3 months ago
• Cydhra / vers
  Succinct data structures using very efficient rank and select
  ☆127Updated 3 weeks ago
• akonradi / lock-ordering
  Lock ordering enforcement at compile time in Rust
  ☆20Updated 9 months ago
• JErnestoMtz / rapl
  Rank Polymorphic array library for Rust.
  ☆103Updated 2 years ago
• BurtonQin / Awesome-Rust-Neural-Network
  A curated collection of Rust projects related to neural networks, designed to complement "Are We Learning Yet."
  ☆64Updated 2 weeks ago
• cfallin / waffle
  ☆58Updated 6 months ago
• tczajka / bigint-benchmark-rs
  Bechmarks for Rust big integer implementations
  ☆64Updated last year
• brownsys / paralegal
  Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.
  ☆43Updated last month
• zk4x / zyx
  Tensor library for machine learning
  ☆26Updated this week
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆27Updated last year
• JoshMcguigan / backlight
  A dynamic binary tracing tool
  ☆67Updated 3 years ago
• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆308Updated 3 months ago
• fast / stacksafe
  Prevent stack overflow in deeply recursive functions with automatic stack management.
  ☆65Updated 2 months ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆98Updated last month
• willcrichton / indexical
  Human-friendly indexed collections
  ☆56Updated 2 months ago
• rkyv / bytecheck
  Memory validation framework for Rust
  ☆74Updated 3 months ago
• noamtashma / owning-ref-unsoundness
  An article explaining the unsoundness I found in owning-ref
  ☆27Updated 3 years ago
• matthiaskrgr / icemaker
  automatially find crashes in the rust compiler & tooling
  ☆80Updated last year