BlairArchibald / YewParLinks
A Collection of High Performance Parallel Skeletons for Tree Search Problems
☆22Updated last week
Alternatives and similar repositories for YewPar
Users that are interested in YewPar are comparing it to the libraries listed below
Sorting:
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆10Updated last year
- A standard for floating point accuracy benchmarks☆49Updated 3 months ago
- ☆28Updated 2 months ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]☆25Updated 3 years ago
- embedding MLIR in LEAN☆47Updated last year
- ☆55Updated 2 months ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆16Updated 3 years ago
- Formalization of C++ for verification purposes.☆81Updated last week
- Verimag Polyhedra Library☆18Updated 2 months ago
- Cerberus C semantics☆62Updated this week
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 3 years ago
- ☆55Updated 3 weeks ago
- VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations☆28Updated 4 months ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 3 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated last year
- Isabelle LLVM Code Generator and Refinement☆28Updated this week
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 2 years ago
- Lace - implementation of work-stealing in C☆37Updated last year
- Memory consistency modelling using Alloy☆29Updated 4 years ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆36Updated 3 weeks ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆40Updated 3 months ago
- CERE: Codelet Extractor and REplayer☆40Updated last year
- Gallina to Bedrock2 compilation toolkit☆56Updated this week
- SRI LibPoly is a C library for manipulating polynomials☆51Updated last week
- The LTSmin model checking toolset☆60Updated 7 months ago
- C++ library for semigroups and monoids☆47Updated last week
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆98Updated 11 months ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆44Updated 2 weeks ago