Alternatives and similar repositories for depsolver

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

• sdiehl / subpy
  Python subsets
  ☆41Updated 8 years ago
• DRMacIver / structureshrink
  Structured shrinking of unknown file formats
  ☆96Updated 8 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
• biometrics / likely
  A compiler intermediate representation for image recognition and heterogeneous computing.
  ☆78Updated 9 years ago
• vstinner / fatoptimizer
  Static optimizer specializing functions with guards for Python 3.6
  ☆72Updated 6 years ago
• enthought / sat-solver
  Default Repo description from terraform module
  ☆3Updated 4 months ago
• brushtechnology / fabricate
  The better build tool. Finds dependencies automatically for any language.
  ☆136Updated 4 years ago
• ufoym / wavelet-rasterization
  Python implementation of [Manson, Josiah, and Scott Schaefer. "Wavelet rasterization." Computer Graphics Forum. Vol. 30. No. 2. Blackwell…
  ☆84Updated 9 years ago
• native-human / epdb
  ☆26Updated 10 years ago
• fjarri / peval
  Partial evaluation of Python code
  ☆22Updated 2 years ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆190Updated 4 months ago
• dbravender / pfpp
  Pure python functional programming
  ☆28Updated 15 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• williame / obiwan
  a function parameter type checker; a json validator
  ☆81Updated 9 years ago
• softdevteam / krun
  High fidelity benchmark runner
  ☆89Updated 4 years ago
• fsaintjacques / libtwiddle
  bit & sketches data structures
  ☆60Updated 6 years ago
• siedentop / rapidfuzz
  Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer
  ☆27Updated 7 years ago
• waynenilsen / capnp-ffi
  Use Cap’n Proto as a better method of FFI communication
  ☆24Updated 10 years ago
• minrk / clingkernel
  Now part of Cling, no longer maintained here
  ☆125Updated 9 years ago
• CharithYMendis / Helium
  Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code
  ☆47Updated 9 years ago
• lemire / StronglyUniversalStringHashing
  Benchmark showing the we can randomly hash strings very quickly with good universality
  ☆137Updated 6 months ago
• iskandr / parakeet
  Runtime compiler for numerical Python
  ☆235Updated 6 months ago
• abau / cppsat
  Propositional Encodings in C++11
  ☆18Updated 6 years ago
• dcreager / libpush
  An arrow-based parser combinator library for C
  ☆39Updated 15 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆50Updated 9 months ago
• microsoft / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆231Updated 4 years ago
• ScatterHQ / machinist
  A library for constructing finite state machines
  ☆57Updated 9 years ago
• GaloisInc / blt
  Lattice-based integer linear programming solver
  ☆65Updated 4 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 9 months ago
• rjpower / falcon
  C Python, made faster.
  ☆341Updated 9 years ago