porcupine
Linearizability checker
A tool for checking if the history of concurrent actions can be linearly ordered with respect to a sequential specification.
A fast linearizability checker written in Go 🔎
932 stars
24 watching
52 forks
Language: Go
last commit: 6 months ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 tomz/liblinear-ruby-swig | A Ruby interface to a high-performance machine learning library for large-scale text classification and other linear classifications | 83 |
 ahgamut/blis | A software framework that instantiates high-performance linear algebra libraries | 4 |
 sashamelentyev/usestdlibvars | Detects potential misuse of standard library variables in Go code | 43 |
 dmxlarchey/karp-miller | An algorithm to decide coverability in Petri nets using the Karp-Miller tree construction | 1 |
 cheshire/onumerical | A numerical library for OCaml providing tools for linear expressions and optimization | 8 |
 apalache-mc/apalache | An SMT-based symbolic model checker for TLA+ and Quint | 441 |
 ekmett/linear-logic | An implementation of intuitionistic linear logic using Haskell. | 83 |
 bwaldvogel/liblinear-java | A Java implementation of LIBLINEAR's large-scale regularized linear classification and regression algorithms | 306 |
| dmxlarchey/kruskal-finite | Tools for proving properties about finite types and predicates using proof assistants | 0 |
 sharplispers/lparallel | A library that enables fine-grained parallelism in Common Lisp, allowing developers to express and manage concurrent tasks efficiently. | 17 |
 ollef/bidirectional | An implementation of bidirectional type checking for higher-rank polymorphism in Haskell | 129 |
 kai-qu/linear-logic | An encoding of linear logic in Coq with minimal examples and automated proofs | 21 |
 cyrilli/async-linucb | Implementation of algorithms for federated linear bandits in multi-agent environments | 1 |
 ableton/aqt-cassowary | A Qt plugin that allows QML applications to use incremental linear constraint solver | 54 |
 bitshifter/mathbench-rs | A benchmarking framework comparing performance of different Rust linear algebra libraries | 198 |