Alternatives and similar repositories for portkit

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

• cbeuw / rustlantis
  UB-free and deterministic rustc fuzzer
  ☆93Updated last month
• cognitive-engineering-lab / rustc_plugin
  A framework for writing plugins that integrate with the Rust compiler
  ☆162Updated 2 months ago
• endorlabs / MIRAI
  ☆188Updated 9 months ago
• besok / graphviz-rust
  The library provides basic functions to work with Graphviz dot lang from rust code.
  ☆85Updated 2 months ago
• willcrichton / indexical
  Human-friendly indexed collections
  ☆56Updated 2 months ago
• nikis05 / derive-visitor
  ☆39Updated last year
• awslabs / spindle
  ☆17Updated 3 months ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆96Updated 3 weeks ago
• vaivaswatha / pliron
  An Extensible Compiler IR Framework
  ☆228Updated last week
• JoshMcguigan / backlight
  A dynamic binary tracing tool
  ☆67Updated 3 years ago
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆250Updated this week
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆64Updated 2 years ago
• pnevyk / gryf
  Graph data structure library aspiring to be convenient, versatile, correct and performant.
  ☆87Updated last month
• mpdn / radix-heap
  Radix heap implementation in Rust
  ☆35Updated last year
• fast / stacksafe
  Prevent stack overflow in deeply recursive functions with automatic stack management.
  ☆65Updated last month
• 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
• Shnatsel / bounds-check-cookbook
  Recipes for avoiding bounds checks in Rust, without unsafe!
  ☆131Updated 2 years ago
• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆301Updated 3 months ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆99Updated this week
• BurtonQin / Awesome-Rust-Neural-Network
  A curated collection of Rust projects related to neural networks, designed to complement "Are We Learning Yet."
  ☆62Updated 6 months ago
• camshaft / bolero
  property testing and verification front-end for Rust
  ☆222Updated last week
• noamtashma / owning-ref-unsoundness
  An article explaining the unsoundness I found in owning-ref
  ☆27Updated 3 years ago
• zk4x / zyx
  Tensor library for machine learning
  ☆26Updated last week
• BurtonQin / Awesome-Rust-Checker
  A curated list of awesome Rust checkers
  ☆52Updated 8 months ago
• s2-streamstore / mad-turmoil
  madsim-inspired determinism for turmoil-based simulation tests
  ☆48Updated 3 weeks ago
• jakubadamw / rutenspitz
  А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation
  ☆88Updated 2 years ago
• jneem / imbl
  Blazing fast immutable collection datatypes for Rust.
  ☆127Updated last week
• sarah-quinones / fastdiv
  ☆38Updated 3 years ago
• iex-rs / iex
  Idiomatic exceptions for Rust
  ☆86Updated 4 months ago