onesuper / bfs_in_parallel
breadth-first search in parallel
☆18Updated 11 years ago
Alternatives and similar repositories for bfs_in_parallel:
Users that are interested in bfs_in_parallel are comparing it to the libraries listed below
- ☆20Updated last year
- Mathematical expression evaluator with just in time code generation.☆12Updated 11 years ago
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆14Updated 11 months ago
- GPU model checker☆11Updated 5 years ago
- ☆12Updated 3 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated 3 years ago
- A compiler for BLOG probabilistic programming language☆25Updated 7 years ago
- Lock-free parallel disjoint set data structure (aka UNION-FIND) with path compression and union by rank☆64Updated 9 years ago
- Program synthesis☆12Updated 8 years ago
- ☆12Updated 7 months ago
- Automatic Differentiation for Tensor Algebras☆28Updated 6 years ago
- General Stride K-Nearest Neighbors☆13Updated 3 years ago
- manipulate LLVM IR files☆32Updated 9 years ago
- The cilkplus/llvm repo implements the Intel Cilk Plus language extensions to C and C++ in LLVM.☆68Updated 9 years ago
- CMU 15-745 Spring 2014☆10Updated 11 years ago
- A benchmark for cache efficient data structures.☆30Updated 6 years ago
- Shader-Like Mathematical Expression JIT Engine for C++ Language☆58Updated 5 years ago
- A C implementation of a Boldi-Vigna graph decompressor☆17Updated 8 years ago
- Content Addressable Memory using dimensionality reduction☆12Updated 7 years ago
- A tiny PL/0 JIT compiler in less than 900 LOC with LLVM and PEG parser.☆29Updated 2 years ago
- Modeling and Programming with Gecode☆45Updated 2 years ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆10Updated last year
- AST - Extractor for LLVM☆18Updated 4 years ago
- A SIMD-based C++ library providing rank/select queries over mutable bitmaps.☆35Updated 2 years ago
- [WIP] Interval Analysis on LLVM IR☆12Updated 4 years ago
- Support for ternary logic in SSE, XOP, AVX2 and x86 programs☆31Updated 2 months ago
- Compiler Course☆18Updated 9 years ago
- SIMD-enabled descriptive statistics (mean, variance, covariance, correlation)☆18Updated 7 months ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago