☆46Jan 24, 2026Updated last month
Alternatives and similar repositories for sketch-backend
Users that are interested in sketch-backend are comparing it to the libraries listed below
Sorting:
- ☆39Jan 24, 2026Updated last month
- A SyGuS Solver☆30May 18, 2025Updated 9 months ago
- CMU 15-745 Spring 2014☆10Mar 7, 2014Updated 12 years ago
- ☆13Dec 31, 2023Updated 2 years ago
- Synthesis API Refactor☆12May 17, 2022Updated 3 years ago
- A monadic library for symbolic evaluation☆73Jul 16, 2025Updated 7 months ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆43Mar 30, 2023Updated 2 years ago
- ☆20May 12, 2022Updated 3 years ago
- Tons of Inductive Problems: The Benchmarks☆27Jul 5, 2023Updated 2 years ago
- ARC gym: a data generation framework for the Abstraction & Reasoning Corpus☆25Mar 2, 2026Updated last week
- The Verifiably Safe Reinforcement Learning Framework☆57Jul 22, 2021Updated 4 years ago
- Most influential papers in programming languages☆59Jan 20, 2025Updated last year
- ☆24Mar 2, 2026Updated last week
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- Code mirror of the paper: InverseCSG: Automatic Conversion of 3D Models to CSG Trees☆65Sep 4, 2020Updated 5 years ago
- Okasaki's Purely Functional Data Structures in OCaml☆40Nov 10, 2012Updated 13 years ago
- Free ChatGPT API Key，免费ChatGPT API，支持GPT4 API，ChatGPT国内可用免费转发API，直连无需代理。☆12Aug 28, 2024Updated last year
- COMPAS XR streamlines extended reality workflows to ease the implementation of human-machine collaborative applications in architectural …☆16Feb 1, 2026Updated last month
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆78Oct 26, 2025Updated 4 months ago
- Code for FormulaNet in NIPS 2017☆30Apr 10, 2018Updated 7 years ago
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆22Jan 11, 2026Updated last month
- ☆13Jul 22, 2022Updated 3 years ago
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Oct 13, 2023Updated 2 years ago
- Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop☆13Feb 14, 2025Updated last year
- Clover: Closed-Loop Verifiable Code Generation☆43May 12, 2025Updated 9 months ago
- ☆32Mar 14, 2023Updated 2 years ago
- Code for Learning to Synthesize Programs as Interpretable and Generalizable Policies in NeurIPS 2021☆39Sep 16, 2025Updated 5 months ago
- ☆44Oct 27, 2025Updated 4 months ago
- A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclip…☆15Jul 10, 2014Updated 11 years ago
- Robotic Assembled Timber Structures with Integral Timber Joints☆11Oct 15, 2023Updated 2 years ago
- A Python library for building modular, reproducible simulation pipelines in minutes☆32Aug 22, 2025Updated 6 months ago
- 張耀文老師的"奈米積體電路實體設計"作業(Physical Design)☆11Jan 18, 2024Updated 2 years ago
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆11Mar 21, 2023Updated 2 years ago
- C to LLVM / Python compiler☆10Jan 17, 2017Updated 9 years ago
- ☆11Nov 3, 2020Updated 5 years ago
- ☆11Mar 17, 2017Updated 8 years ago
- CS 380D Distributed Systems at UT Austin with Vijay Chidambaram☆12Oct 19, 2023Updated 2 years ago
- Repository containing lectures from 2023 Machine Learning course☆11Mar 14, 2023Updated 2 years ago
- Computer Systems Lab☆11Oct 16, 2025Updated 4 months ago