☆47Jan 24, 2026Updated 9 months ago
Alternatives and similar repositories for sketch-backend
Users that are interested in sketch-backend are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆41Jan 24, 2026Updated 9 months ago
- A SyGuS Solver☆30May 18, 2025Updated last year
- Synthesis API Refactor☆12May 17, 2022Updated 4 years ago
- Explainable Neural Subgraph Matching with Graph Learnable Multi-hop Attention Networks☆14Sep 26, 2024Updated 2 years ago
- CMU 15-745 Spring 2014☆10Mar 7, 2014Updated 12 years ago
- 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.
- A public repository for "Write, Execute, Assess: Program Synthesis With a REPL" project by Kevin Ellis, Max Nye, Yewen Pu, Felix Sosa, Jo…☆39May 21, 2020Updated 6 years ago
- The Verifiably Safe Reinforcement Learning Framework☆57Jul 22, 2021Updated 5 years ago
- If T: Benchmark for Type Narrowing☆13May 12, 2026Updated 5 months ago
- Algorithmic composition of modern classical music in the twelve-tone technique.☆14May 10, 2025Updated last year
- Original posting, a.k.a. OP, is an ALL-IN-ONE markup language for cyber wizards to create documentations and blog pages.☆12Dec 16, 2022Updated 3 years ago
- Indexing reachability for context-sensitive data flow analysis.☆12Jul 10, 2022Updated 4 years ago
- A differentiable, self-modifying esolang where gradient descent is an instruction and programs rewrite their own parameters, designed by …☆38Aug 25, 2026Updated 2 months ago
- ☆16Jun 21, 2024Updated 2 years ago
- ☆20May 12, 2022Updated 4 years ago
- 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.
- Tons of Inductive Problems: The Benchmarks☆30Jul 5, 2023Updated 3 years ago
- REGEL: Regular Expression Generation from Examples and Language☆37Jul 11, 2022Updated 4 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20May 10, 2017Updated 9 years ago
- A standalone web app that uses the browser's Web Bluetooth API to control a bike trainer, allows to train on a recorded GPX track.☆16Oct 8, 2026Updated 3 weeks ago
- Interactive Gptel shell for Emacs☆10Apr 10, 2025Updated last year
- A quick tour to *Data types à la carte* for reading group presentation.☆16Feb 7, 2023Updated 3 years ago
- AutoPruner: Transformer-based Call Graph Pruning (ESEC/FSE 2022, Research Track)☆22Dec 7, 2023Updated 2 years ago
- The implementation of an SMTLib dialect for xDSL☆19Apr 16, 2026Updated 6 months ago
- Clover: Closed-Loop Verifiable Code Generation☆50May 12, 2025Updated last year
- 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.
- ☆11Nov 12, 2017Updated 8 years ago
- A formal proof of LaSalle's invariance principle☆12Feb 3, 2026Updated 8 months ago
- Code for FormulaNet in NIPS 2017☆32Apr 10, 2018Updated 8 years ago
- Package for recursive causal discovery☆14Nov 14, 2025Updated 11 months ago
- Library implementation of DreamCoder as adapted for LAPS.☆13Jun 9, 2023Updated 3 years ago
- JAMA : A Java Matrix Package☆12Feb 3, 2017Updated 9 years ago
- CausalFX R Package☆13Jun 22, 2015Updated 11 years ago
- A compiler for automatically re-targeting sequential Java code to Apache Spark.☆54Jun 15, 2023Updated 3 years ago
- ☆24Updated this week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆55Mar 12, 2021Updated 5 years ago
- Search emails in Notmuch asynchronously with Ivy☆14Jan 30, 2020Updated 6 years ago
- A pythonic Linked Data Notifications (LDN) receiver☆14Jan 31, 2019Updated 7 years ago
- ☆48Oct 27, 2025Updated last year
- Most influential papers in programming languages☆62Jan 20, 2025Updated last year
- ☆11Jun 4, 2026Updated 4 months ago
- ☆50Dec 8, 2022Updated 3 years ago