PATSQL - SQL Synthesizer
☆15Sep 6, 2023Updated 2 years ago
Alternatives and similar repositories for PATSQL
Users that are interested in PATSQL are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- (Near-)omniscient debugging/tracing/logging tool for Java☆40Mar 1, 2026Updated 2 months ago
- Learned Query Optimizer☆13Mar 16, 2022Updated 4 years ago
- Guiding Program Synthesis by Learning to Generate Examples☆13Jul 23, 2023Updated 2 years ago
- ☆15Nov 9, 2020Updated 5 years ago
- PyTorch library for synthesizing programs from natural language☆18Jul 25, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Research Artifact For Our Submission To VLDB☆11Oct 27, 2021Updated 4 years ago
- ☆14Jan 24, 2024Updated 2 years ago
- [SDM'23] ML4C: Seeing Causality Through Latent Vicinity☆14Nov 9, 2022Updated 3 years ago
- Revisiting Cache Side-Channel Attacks in Deep Neural Networks Executables☆14Aug 27, 2024Updated last year
- The ultimate command line client for Emoji Generator☆20Aug 27, 2018Updated 7 years ago
- CIPHERH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations☆13Dec 17, 2023Updated 2 years ago
- ☆16Sep 17, 2024Updated last year
- Research Artifact of USENIX Security 2023 Paper: Precise and Generalized Robustness Certification for Neural Networks☆13Jun 20, 2023Updated 2 years ago
- Messaging protocol test tools☆16Dec 13, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Full open source mobile terminal device with e-ink screen, physical keyboard and long battery life, suitable for Linux system administrat…☆11Mar 16, 2016Updated 10 years ago
- A SyGuS Solver☆30May 18, 2025Updated last year
- ☆11Mar 3, 2021Updated 5 years ago
- OBsan: An Out-Of-Bound Sanitizer to Harden DNN Executables☆17Feb 28, 2023Updated 3 years ago
- a token-based code clone detection tool☆30Jan 10, 2023Updated 3 years ago
- Public reconstruction of Claude Mythos as an open cybersecurity reasoning stack: datasets, models, reproducible environments, and trace i…☆69May 17, 2026Updated last week
- Scala Mison implementation☆15Nov 16, 2018Updated 7 years ago
- TRACER Symbolic Execution Tool☆28Jun 16, 2020Updated 5 years ago
- ☆14Feb 9, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Code for tracelet-level symbolic execution☆18Sep 18, 2022Updated 3 years ago
- Citadel: Enterprise Search☆15May 2, 2023Updated 3 years ago
- JavaScript port of Openstack Horizon.☆17Jun 25, 2012Updated 13 years ago
- Beacon is a monitoring tool for HPC centers, and has been deployed on the current No.3 Sunway TaihuLight Supercomputer for over a year. W…☆21Dec 18, 2020Updated 5 years ago
- RL-based Causal Discovery with Prior Knowledge☆17Sep 20, 2022Updated 3 years ago
- Implementing stripe subscription in remix application☆13Feb 6, 2023Updated 3 years ago
- MVP of a Learning Management System built with remix + vite, drizzle + better-sqlite3, and tailwindcss + daisyui☆13Apr 5, 2024Updated 2 years ago
- sofa-ark-spring-guides☆14Apr 12, 2024Updated 2 years ago
- ☆14Mar 15, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- View all the MongoDB FTDC metrics you want in Grafana.☆17Sep 5, 2024Updated last year
- ☆27Jan 21, 2025Updated last year
- AlphaJoin: Join Order Selection à la AlphaG☆16Apr 22, 2020Updated 6 years ago
- spark package to natively read S3 files instead of through hadoop, improving speed☆11Jul 28, 2016Updated 9 years ago
- Tuning Assistant for Floating point to Fixed point Optimization☆19Mar 26, 2022Updated 4 years ago
- Write JDBC ResultSet to Parquet File☆11Apr 14, 2025Updated last year
- Load MovieLens dataset into Neo4j☆10Oct 25, 2018Updated 7 years ago