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
Sorting:
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆15Updated last year
- General Stride K-Nearest Neighbors☆13Updated 3 years ago
- Program synthesis☆12Updated 8 years ago
- cuASR: CUDA Algebra for Semirings☆35Updated 2 years ago
- Course web site for CSE131 F19☆11Updated 5 years ago
- GPU model checker☆11Updated 6 years ago
- Automatic Differentiation for Tensor Algebras☆28Updated 7 years ago
- Chunky Loop Analyzer: A Polyhedral Representation Extraction Tool for High Level Programs☆24Updated 2 years ago
- Partial Redundancy Elimination Pass in LLVM☆13Updated 5 years ago
- NeuroVectorizer is a framework that uses deep reinforcement learning (RL) to predict optimal vectorization compiler pragmas for for loops…☆94Updated 2 years ago
- Rigorous Floating-Point Mixed-Precision Tuner☆14Updated 4 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 6 years ago
- Automated Programming Framework☆15Updated 5 years ago
- A Java program synthesizer.☆21Updated 6 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- A framework that helps implementing swizzle GPU kernels☆41Updated 5 years ago
- Data Dependence Analyzer in the Polyhedral Model☆20Updated last year
- Chunky Loop Interaction☆24Updated 5 years ago
- GCN ISA assembler tool for my GSoC project at Openwall☆35Updated 9 years ago
- Utilities for constructing a large dataset of LLVM IR☆19Updated 8 months ago
- A model checker based on SAT solving and induction☆13Updated 10 years ago
- Lightweight framework for easy and efficient code generation☆100Updated 8 months ago
- Code for enumeration from a CFG☆18Updated last year
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆17Updated 2 years ago
- Julia ports of the Rodinia benchmark suite for heterogeneous computing infrastructures☆50Updated last year
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆10Updated last year
- A Python API for the MiniSat and MiniCard constraint solvers.☆20Updated last year
- simple snapshot-style integration testing for commands☆71Updated 10 months ago
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆18Updated last month