Alternatives and similar repositories for ms-steiner-puw

Users that are interested in ms-steiner-puw are comparing it to the libraries listed below

• jaberg / pyautodiff
  Automatic differentiation for NumPy
  ☆42Updated 12 years ago
• microsoft / NeuralNetworkAnalysis
  Framework for generating adversarial examples using formal methods and for analyzing robustness of DNNs.
  ☆21Updated 7 years ago
• stuhlmueller / cosh
  Dynamic programming inference by continuation hashing.
  ☆29Updated 10 years ago
• networkx / networkx-lemon
  NetworkX Addon to interface with LEMON graph library.
  ☆15Updated 4 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆46Updated 2 years ago
• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 6 years ago
• M-Flash / m-flash-cpp
  ☆15Updated 7 years ago
• llvm-mirror / klee
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆17Updated 8 years ago
• probcomp / cgpm
  Library of composable generative population models which serve as the modeling and inference backend of BayesDB.
  ☆25Updated 11 months ago
• RoyalCaliber / vertexAPI2
  A vertex-centric CUDA/C++ API for large graph analytics on GPUs using the Gather-Apply-Scatter abstraction
  ☆23Updated 11 years ago
• microsoft / SynthaCorpus
  Tools for generating synthetic document corpora
  ☆13Updated 2 years ago
• microsoft / mwt-ds-explore-cpp
  Exploration Library in C++
  ☆15Updated 2 years ago
• rveen / ogdl-c
  OGDL for C
  ☆17Updated 7 years ago
• StanfordPL / cpputil
  Miscellaneous utility code for c++ projects.
  ☆18Updated 6 years ago
• google / hashing-demo
  Sample implementation of a proposed C++ hashing framework
  ☆29Updated 9 years ago
• PolyJIT / polli
  Enable Polyhedral JIT compilation
  ☆9Updated 6 years ago
• Singular / LELA
  Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations
  ☆17Updated 12 years ago
• Shark-ML / Remora
  High performance C++ Linear Algebra Library
  ☆14Updated 4 years ago
• Aptima / pattern-matching
  Hadoop MapReduce over Hive based implementation of attributed network pattern matching.
  ☆40Updated 10 years ago
• hfp / libxstream
  Library to program with streams, events, and to queue own functions into a stream.
  ☆16Updated last year
• kframework / java-semantics
  The semantics of Java in K
  ☆19Updated 3 years ago
• google / refr
  A framework for building reranking models.
  ☆28Updated 10 years ago
• leaningtech / cheerp-bullet
  Bullet physics library ported to JavaScript with Cheerp
  ☆23Updated 9 years ago
• numenta / hypersearch
  A particle swarm optimization library created by Numenta for hyperparameter optimization.
  ☆18Updated 9 years ago
• Kitware / sprokit
  Stream Processing ToolKit
  ☆18Updated 9 years ago
• stlab / adobe_platform_libraries
  Adobe Platform Libraries
  ☆30Updated 4 years ago
• microsoft / CorrelationVector-Cpp
  CorrelationVector-Cpp provides a reference C++ implementation of the CorrelationVector protocol for tracing and correlation of events thr…
  ☆17Updated 2 years ago
• dwavesystems / dw_sa_chi
  Simulated annealing solvers
  ☆20Updated 7 years ago
• microsoft / checkedc-llvm-test-suite
  This repo contains a version of the LLVM test suite that is being modified to use Checked C. The modified programs will be used to ben…
  ☆13Updated 2 years ago
• numenta / htmresearch-core
  Numenta's experimental C++ research code. Please see htmresearch for more details.
  ☆25Updated 5 years ago