Alternatives and similar repositories for bfs_in_parallel

Users that are interested in bfs_in_parallel are comparing it to the libraries listed below

• tchajed / futex-tutorial
  ☆17Updated last year
• CuppoJava / Feeny
  Learn Compiler Writing with the Feeny Programming Language
  ☆13Updated 5 years ago
• riswords / quiche
  ☆24Updated 2 years ago
• cilkplus / llvm
  The cilkplus/llvm repo implements the Intel Cilk Plus language extensions to C and C++ in LLVM.
  ☆70Updated 10 years ago
• ajwijs / GPUexplore
  GPU model checker
  ☆11Updated 6 years ago
• danielesgit / slingen
  Program Generator for Small-Scale Linear Algebra Applications
  ☆32Updated 7 years ago
• lemire / simdpcg
  Vectorized version of the PCG random number generator
  ☆87Updated last month
• habanero-rice / hclib
  A C/C++ task-based programming model for shared memory and distributed parallel computing.
  ☆72Updated 5 years ago
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated 2 years ago
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆25Updated 6 months ago
• RdR1024 / prolog2gpt
  SWI Prolog library to interface to the GPT API
  ☆20Updated last year
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆26Updated 8 years ago
• whitemech / pythomata
  A Python package for automata theory.
  ☆59Updated 2 years ago
• morpheusthewhite / parallel-dfs-dag
  A parallel implementation of DFS for Directed Acyclic Graphs (https://research.nvidia.com/publication/parallel-depth-first-search-directe…
  ☆50Updated 4 years ago
• tianyi-zhang / interactive-program-synthesis
  ☆12Updated 4 years ago
• sillycross / PochiVM
  Lightweight framework for easy and efficient code generation
  ☆104Updated last year
• bthies / streamit
  The StreamIt compiler infrastructure.
  ☆71Updated 9 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆41Updated 8 months ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆55Updated 5 years ago
• yihozhang / egraph-sqlite
  egraph on top of sqlite
  ☆13Updated 3 years ago
• mthom / on-the-fly-gc
  Concurrent mark-sweep garbage collector for accurate garbage collection of language runtimes in C++ 1x.
  ☆35Updated 9 years ago
• stassa / THELEMA
  My MSc thesis: a grammar induction system
  ☆16Updated 9 years ago
• broune / mathic
  C++ library of symbolic algebra data structures for use in Groebner basis computation.
  ☆25Updated 5 years ago
• patham9 / NACE
  Non-Axiomatic Causal Explorer
  ☆20Updated 9 months ago
• SWI-Prolog / packages-cpp
  The SWI-Prolog C++ interface
  ☆38Updated 2 weeks ago
• BlairArchibald / YewPar
  A Collection of High Performance Parallel Skeletons for Tree Search Problems
  ☆23Updated 2 months ago
• rutgers-apl / fpsanitizer
  A debugger to detect and diagnose numerical errors in floating point programs
  ☆12Updated 3 years ago
• MarisaKirisame / first_order_logic_prover
  ☆60Updated 7 years ago
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆52Updated 2 years ago
• usethesource / clair
  C Language Analysis in Rascal
  ☆27Updated last month