Alternatives and similar repositories for sql-algorithms

Users that are interested in sql-algorithms are comparing it to the libraries listed below

• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated last year
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• WessZumino / Random-Matrix-theory-for-pedestrians
  ☆18Updated 4 years ago
• bkushigian / cornelius
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Updated 2 years ago
• MojtabaValizadeh / paresy
  Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"
  ☆16Updated 4 months ago
• jordiae / neural-compilers
  ☆19Updated 3 years ago
• dselsam / lean-gym
  ☆12Updated 2 years ago
• riswords / quiche
  ☆22Updated 2 years ago
• wenxiwang / neuroback
  ☆9Updated 6 months ago
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated 8 months ago
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆17Updated 2 years ago
• siddhartha-gadgil / lean-loris
  Experiments with some ways of automating reasoning in lean 4
  ☆16Updated last year
• breandan / markovian
  🎲 A Kotlin DSL for probabilistic programming.
  ☆12Updated 3 years ago
• vijay03 / asstprofbook
  Github repo backing website for the CS Assistant Professor Handbook
  ☆26Updated 10 months ago
• akrasuski1 / eusolver-priority
  Grammar prioritization support for EUSolver.
  ☆13Updated 6 years ago
• mschlund / FPsolve
  FPsolve: solver for polynomial equations over omega-continuous semirings
  ☆11Updated 9 years ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated last year
• ccodel / verified-encodings
  Verifying encodings into propositional logic in Lean
  ☆12Updated last year
• GaloisInc / pirate
  Main repository for the Galois/Two Six Pirate Project for DARPA GAPS
  ☆4Updated 4 years ago
• Columpio / RInGen
  Regular Invariant Generator and SMTLIB2 code transformer
  ☆12Updated 2 years ago
• probing-lab / polar
  ☆17Updated 2 months ago
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆20Updated 5 years ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Updated 4 years ago
• namin / holey
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆21Updated 2 weeks ago
• UnitTestBot / kosat
  Pure Kotlin CDCL SAT solver
  ☆9Updated last year
• fdbresearch / LMFAO
  Layered Multiple Functional Aggregate Optimization
  ☆18Updated 4 years ago
• caviar-trs / caviar
  Implementing Halide's TRS inside of EGG
  ☆31Updated 2 years ago
• OPLSS / oplss-notes-2021
  Materials for OPLSS 2021
  ☆11Updated 4 years ago
• sfu-cl-lab / FactorBase
  The source code repository for the FactorBase system
  ☆10Updated last year