rjpower / portkitLinks
☆32Updated 5 months ago
Alternatives and similar repositories for portkit
Users that are interested in portkit are comparing it to the libraries listed below
Sorting:
- UB-free and deterministic rustc fuzzer☆93Updated last month
- A framework for writing plugins that integrate with the Rust compiler☆162Updated 2 months ago
- ☆188Updated 9 months ago
- The library provides basic functions to work with Graphviz dot lang from rust code.☆85Updated 2 months ago
- Human-friendly indexed collections☆56Updated 2 months ago
- ☆39Updated last year
- ☆17Updated 3 months ago
- Define compiler intermediate representation usable by external tools☆96Updated 3 weeks ago
- An Extensible Compiler IR Framework☆228Updated last week
- A dynamic binary tracing tool☆67Updated 3 years ago
- Interface with the rustc compiler for the purpose of program verification☆250Updated this week
- Propositional logic with types in Rust☆64Updated 2 years ago
- Graph data structure library aspiring to be convenient, versatile, correct and performant.☆87Updated last month
- Radix heap implementation in Rust☆35Updated last year
- Prevent stack overflow in deeply recursive functions with automatic stack management.☆65Updated last month
- Succinct data structures using very efficient rank and select☆127Updated 3 weeks ago
- Lock ordering enforcement at compile time in Rust☆20Updated 9 months ago
- Recipes for avoiding bounds checks in Rust, without unsafe!☆131Updated 2 years ago
- An IDE extension for debugging trait errors in Rust.☆301Updated 3 months ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆99Updated this week
- A curated collection of Rust projects related to neural networks, designed to complement "Are We Learning Yet."☆62Updated 6 months ago
- property testing and verification front-end for Rust☆222Updated last week
- An article explaining the unsoundness I found in owning-ref☆27Updated 3 years ago
- Tensor library for machine learning☆26Updated last week
- A curated list of awesome Rust checkers☆52Updated 8 months ago
- madsim-inspired determinism for turmoil-based simulation tests☆48Updated 3 weeks ago
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆88Updated 2 years ago
- Blazing fast immutable collection datatypes for Rust.☆127Updated last week
- ☆38Updated 3 years ago
- Idiomatic exceptions for Rust☆86Updated 4 months ago