porcupine
by anishathalye
A fast linearizability checker written in Go 🔎
AI summary
Linearizability checker
A tool for checking if the history of concurrent actions can be linearly ordered with respect to a sequential specification.
- stars
- 975
- forks
- 54
- watching
- 24
Similar projects
Found by comparing what the projects do, not just their names.
Linear classifier library
A Ruby interface to a high-performance machine learning library for large-scale text classification and other linear classifications
Linear algebra library generator
A software framework that instantiates high-performance linear algebra libraries
Standard library checker
Detects potential misuse of standard library variables in Go code
Petri net coverability checker
An algorithm to decide coverability in Petri nets using the Karp-Miller tree construction
Linear expression solver
A numerical library for OCaml providing tools for linear expressions and optimization
Model Checker
An SMT-based symbolic model checker for TLA+ and Quint
Linear logic implementation
An implementation of intuitionistic linear logic using Haskell.
Linear classifier library
A Java implementation of LIBLINEAR's large-scale regularized linear classification and regression algorithms
Data analysis tools
Tools for determining and working with finite data structures in a proof assistant.
Parallelism library
A library for parallel programming in Common Lisp
Type checker
An implementation of bidirectional type checking for higher-rank polymorphism in Haskell
Linear logic encoder
An encoding of linear logic in Coq with minimal examples and automated proofs
Federated bandit algo
Implementation of algorithms for federated linear bandits in multi-agent environments
Linear constraint solver plugin
A Qt plugin that allows QML applications to use incremental linear constraint solver
Linear algebra benchmarker
A benchmarking framework comparing performance of different Rust linear algebra libraries
