Alternatives and similar repositories for depsolver

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

• aserg-ufmg / NextBug
  A next-good-bug recommender for Bugzilla
  ☆11Updated 9 years ago
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆29Updated 5 years ago
• sdiehl / subpy
  Python subsets
  ☆41Updated 8 years ago
• llllllllll / adt
  Algebraic data types for python
  ☆22Updated 8 years ago
• logpy / strategies
  Programmatic Control Flow
  ☆12Updated 7 years ago
• hhatto / pyrapidjson
  Python binding for rapidjson
  ☆25Updated 7 years ago
• williame / obiwan
  a function parameter type checker; a json validator
  ☆81Updated 9 years ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆53Updated 2 years ago
• xnd-project / libndtypes
  Subsumed into xnd
  ☆25Updated 5 years ago
• cyrus- / typy
  A fragmentary bidirectional type system as a Python library
  ☆52Updated 6 years ago
• fjarri / peval
  Partial evaluation of Python code
  ☆22Updated 2 years ago
• DRMacIver / glassbox
  A library for tracking program state
  ☆15Updated 9 years ago
• da-x / git-search-replace
  A utility on top of Git for project-wide search-and-replace that includes filenames too
  ☆49Updated 2 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 3 years ago
• ryansb / bookmarkd
  Markdown -> IPython conversion tool
  ☆15Updated 10 years ago
• abau / cppsat
  Propositional Encodings in C++11
  ☆18Updated 6 years ago
• pkhuong / aerie
  Aerie: a regex-like engine nested word grammars
  ☆16Updated 3 years ago
• siedentop / rapidfuzz
  Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer
  ☆27Updated 7 years ago
• tomerfiliba / srcgen
  The semantic code generation framework
  ☆29Updated 11 years ago
• chainreactionmfg / cara
  Capnproto Alternative RPC API
  ☆16Updated 10 years ago
• mdickinson / bigfloat
  Python wrapper for MPFR, providing high-precision floating-point arithmetic
  ☆44Updated last year
• DRMacIver / structureshrink
  Structured shrinking of unknown file formats
  ☆96Updated 7 years ago
• mrocklin / chest
  Simple spill-to-disk dictionary
  ☆17Updated 9 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 10 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆26Updated 10 years ago
• brthor / lambdazen
  A better python lambda syntax (`a = (x) > x`) based on runtime source rewriting
  ☆46Updated 8 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• ogirardot / meta-deps
  Dependency computation project for maven/java and pip/python examples
  ☆63Updated 12 years ago
• lambdafu / grakopp
  C++ implementation of grako parser, tuned for performance
  ☆22Updated 10 years ago
• Nurdok / yieldfrom
  A backport of the `yield from` semantic from Python 3.x to Python 2.7
  ☆20Updated 5 years ago