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 3 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆51Updated 2 years ago
• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆17Updated 2 months ago
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆33Updated 2 years ago
• opencobra / swiglpk
  Simple swig bindings for the GNU Linear Programming Kit
  ☆28Updated this week
• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆19Updated last year
• master-keying / minisat
  A minimalistic and high-performance SAT solver
  ☆146Updated 3 years ago
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆126Updated 2 weeks ago
• inducer / pymbolic
  A simple package to do symbolic math (focus on code gen and DSLs)
  ☆116Updated this week
• taschini / pyinterval
  PyInterval — Interval arithmetic in Python
  ☆88Updated 8 years ago
• lexected / astir
  A flexible parser generator producing output from object-oriented hierarchical context-free grammar specifications.
  ☆12Updated 3 years ago
• camillescott / cookiecutter-cppyy-cmake
  A cookiecutter template for using cppyy to generate python bindings for c++ code
  ☆27Updated 5 years ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆85Updated this week
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆17Updated 10 months ago
• ips4o / ips4o
  In-place Parallel Super Scalar Samplesort (IPS⁴o)
  ☆123Updated 6 months ago
• lemire / fastrand
  Fast random number generation in an interval in Python: Up to 10x faster than random.randint.
  ☆115Updated 2 months ago
• fjarri / peval
  Partial evaluation of Python code
  ☆22Updated 2 years ago
• chrisheunen / freetikz
  FreeTikZ
  ☆38Updated 7 years ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆109Updated 3 months ago
• fslivovsky / qute
  Qute: a dependency learning QBF solver.
  ☆14Updated 7 months ago
• potassco / guide
  🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
  ☆82Updated 2 years ago
• HPAC / matchpy
  A library for pattern matching on symbolic expressions in Python.
  ☆169Updated last year
• nimrodpar / ProgramAnalysisGlossary
  "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"
  ☆19Updated 4 years ago
• AnyDSL / artic
  The AlteRnaTive Impala Compiler
  ☆26Updated last week
• tudocomp / compact_sparse_hash
  A blend of the compact and sparse hash table implementations.
  ☆15Updated 3 years ago
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆56Updated 5 months ago
• broune / mathic
  C++ library of symbolic algebra data structures for use in Groebner basis computation.
  ☆25Updated 5 years ago
• robbmcleod / cpufeature
  Python module for detection of CPU features
  ☆29Updated 5 months ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• kavigupta / ast_scope
  Annotator that adds scope information to an ast
  ☆26Updated last month