Alternatives and similar repositories for pairing

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

• potassco / clingoLP
  Theory propagator for linear programming using clingo theory language and interface.
  ☆11Updated 4 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆50Updated 3 years ago
• inducer / pymbolic
  A simple package to do symbolic math (focus on code gen and DSLs)
  ☆124Updated 3 weeks ago
• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆19Updated last year
• lemire / fastrand
  Fast random number generation in an interval in Python: Up to 10x faster than random.randint.
  ☆122Updated 2 weeks ago
• crillab / d4v2
  ☆14Updated 9 months ago
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆33Updated 3 years ago
• meelgroup / ganak
  High-performance model counter
  ☆53Updated this week
• fjarri / peval
  Partial evaluation of Python code
  ☆22Updated 2 years ago
• lexected / astir
  A flexible parser generator producing output from object-oriented hierarchical context-free grammar specifications.
  ☆12Updated 4 years ago
• SparseLinearAlgebra / spbla
  Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations
  ☆16Updated 3 years ago
• HPAC / matchpy
  A library for pattern matching on symbolic expressions in Python.
  ☆172Updated last year
• MojtabaValizadeh / paresy
  Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"
  ☆17Updated 11 months ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• master-keying / minisat
  A minimalistic and high-performance SAT solver
  ☆147Updated 4 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆80Updated 8 months ago
• bpinaud / Porgy
  Visual graph rewriting platform
  ☆10Updated 8 months ago
• matplotlib / mplcairo
  A (new) cairo backend for Matplotlib.
  ☆116Updated last month
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆97Updated 3 months ago
• wilcoxjay / notes
  ☆14Updated 2 years ago
• mzucker / lsystem_optimization
  Socially isolating through obsessive micro-optimization.
  ☆13Updated 4 years ago
• bojanczyk / slajdomat
  A program for making zooming slides in figma.
  ☆41Updated 7 months ago
• suyjuris / obst
  Online BDD Simulation Tool
  ☆25Updated 6 months ago
• ldo / qahirah
  A more Pythonic binding for the Cairo graphics library
  ☆71Updated 2 years ago
• GaloisInc / blt
  Lattice-based integer linear programming solver
  ☆66Updated 6 months ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆55Updated 5 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆52Updated last month
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated 2 years ago
• UoYCS-plasma / GP2
  The rule-based graph programming language GP 2
  ☆77Updated 2 months ago
• opencobra / swiglpk
  Simple swig bindings for the GNU Linear Programming Kit
  ☆29Updated last week