Alternatives and similar repositories for torchql:

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

• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆27Updated 2 weeks ago
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆35Updated 11 months ago
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆39Updated 2 years ago
• fredfeng / Trinity
  ☆24Updated 2 weeks ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆68Updated last year
• Mondego / dafny-synthesis
  [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆45Updated 10 months ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• squares-sql / SQUARES
  A SQL and R Synthesizer Using Query Reverse Engineering
  ☆25Updated 4 years ago
• Mestway / Scythe
  Synthesizing SQL queries from input / output examples
  ☆45Updated 4 years ago
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆17Updated 2 years ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆27Updated last month
• akrasuski1 / eusolver-priority
  Grammar prioritization support for EUSolver.
  ☆12Updated 5 years ago
• GaloisInc / LinearArbitrary-SeaHorn
  LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
  ☆21Updated 2 years ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆74Updated this week
• sr-lab / coqpyt
  Python client for coq-lsp
  ☆35Updated 6 months ago
• verse-lab / bythos
  Compositional Verification of Composite Byzantine Protocols
  ☆12Updated 8 months ago
• PL-ML / code2inv
  Code2Inv: Learning Loop Invariants for Program Verification
  ☆91Updated 4 years ago
• microsoft / verus-proof-synthesis
  ☆32Updated 3 weeks ago
• LASER-UMASS / Diva
  DIversity in VerificAtion
  ☆7Updated last year
• secure-foundations / human-eval-verus
  ☆14Updated last month
• namin / holey
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆18Updated this week
• caterinaurban / Lyra
  ☆30Updated 8 months ago
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆125Updated last week
• SaswatPadhi / LoopInvGen
  Generates loop invariants for program verification
  ☆62Updated 4 years ago
• VeriFIT / mata
  A fast and simple automata library
  ☆24Updated this week
• VeriEQL / VeriEQL
  ☆11Updated 2 months ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆27Updated last month
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆125Updated last month
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆74Updated this week
• hiroshi-unno / coar
  Collection of Automated Reasoners
  ☆28Updated 3 months ago