Alternatives and similar repositories for ms-steiner-puw

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

• StanfordPL / cpputil
  Miscellaneous utility code for c++ projects.
  ☆18Updated 6 years ago
• kframework / java-semantics
  The semantics of Java in K
  ☆18Updated 3 years ago
• microsoft / NeuralNetworkAnalysis
  Framework for generating adversarial examples using formal methods and for analyzing robustness of DNNs.
  ☆21Updated 7 years ago
• networkx / networkx-lemon
  NetworkX Addon to interface with LEMON graph library.
  ☆15Updated 4 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆45Updated 2 years ago
• philsquared / scape
  A header-only, modern C++, library for terminal colours and cursor manipulation
  ☆17Updated 7 years ago
• probcomp / cgpm
  Library of composable generative population models which serve as the modeling and inference backend of BayesDB.
  ☆25Updated 10 months ago
• jaberg / pyautodiff
  Automatic differentiation for NumPy
  ☆42Updated 11 years ago
• KWillets / simd_interleave
  Interleaving bits from two sources using SIMD instructions.
  ☆14Updated 7 years ago
• cilkplus / llvm
  The cilkplus/llvm repo implements the Intel Cilk Plus language extensions to C and C++ in LLVM.
  ☆68Updated 9 years ago
• ericniebler / fpxx
  sandbox for my c++ functional programming experiments
  ☆33Updated 11 years ago
• M-Flash / m-flash-cpp
  ☆15Updated 7 years ago
• google / fast-simple-lcsk
  Fast and simple algorithms for computing both LCSk and LCSk+
  ☆21Updated 7 years ago
• microsoft / mwt-ds-explore
  [Deprecated]: Exploration library
  ☆16Updated last year
• nvidia-compiler-sdk / pynvvm
  Python bindings for libNVVM
  ☆37Updated 11 years ago
• boostcon / cppnow_website
  Jekyll site for C++Now!
  ☆9Updated 7 years ago
• microsoft / mwt-ds-explore-cpp
  Exploration Library in C++
  ☆15Updated last year
• andralex / MedianOfNinthers
  ☆49Updated 5 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
• srush / PyDecode
  A dynamic programming toolkit.
  ☆39Updated 10 years 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
• Shark-ML / Remora
  High performance C++ Linear Algebra Library
  ☆14Updated 4 years ago
• wata-orz / fvs
  feedback vertex set solver
  ☆11Updated 6 years ago
• simait / TinyTimber
  TinyTimber is a C implementation of the concurrent reactive objects of Timber. For more information about the full Timber language, see:
  ☆12Updated 13 years ago
• Const-me / MemoryAccessCosts
  ☆13Updated 6 years ago
• potassco / clingcon
  ⛓️ Extension of clingo to handle constraints over integers
  ☆27Updated 4 months ago
• lmcinnes / hypergraph
  A library for hypergraphs and hypergraph algorithms
  ☆28Updated 9 years ago
• enthought / depsolver
  Default Repo description from terraform module
  ☆1Updated 10 years ago
• syllog1sm / cython-sparsehash
  Cython wrappers for Google's sparsehash library, and the murmur hash functions
  ☆17Updated 10 years ago
• google / py-ast-utils
  ☆18Updated 4 years ago