asolarlez / sketch-backendView external linksLinks
☆46Jan 24, 2026Updated 3 weeks ago
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 3 weeks ago
- A SyGuS Solver☆29May 18, 2025Updated 8 months ago
- Explainable Neural Subgraph Matching with Graph Learnable Multi-hop Attention Networks☆14Sep 26, 2024Updated last year
- 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 5 years ago
- A monadic library for symbolic evaluation☆73Jul 16, 2025Updated 6 months ago
- AutoPruner: Transformer-based Call Graph Pruning (ESEC/FSE 2022, Research Track)☆22Dec 7, 2023Updated 2 years ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆42Mar 30, 2023Updated 2 years ago
- The Verifiably Safe Reinforcement Learning Framework☆57Jul 22, 2021Updated 4 years ago
- Most influential papers in programming languages☆58Jan 20, 2025Updated last year
- LaserCAD invokes 3D output of optical setups from code similar as LATEX creates documents.☆12Jan 7, 2026Updated last month
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- Algebraic Combinatorics in Coq☆39Jan 25, 2026Updated 3 weeks ago
- Okasaki's Purely Functional Data Structures in OCaml☆40Nov 10, 2012Updated 13 years ago
- Simple plugin enabling custom blocks and patterns to the Gutenberg editor. This plugin is preferred by the Astratic Theme.☆20Oct 20, 2023Updated 2 years ago
- B-Spline Density Estimation Library - nonparametric density estimation using B-Spline density estimator from univariate sample.☆15Aug 22, 2021Updated 4 years ago
- Free ChatGPT API Key,免费ChatGPT API,支持GPT4 API,ChatGPT国内可用免费转发API,直连无需代理。☆13Aug 28, 2024Updated last year
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆78Oct 26, 2025Updated 3 months ago
- Code for FormulaNet in NIPS 2017☆30Apr 10, 2018Updated 7 years ago
- Coq formalizations and proofs of (data) structures and algorithms.☆47May 13, 2018Updated 7 years ago
- Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop☆13Feb 14, 2025Updated last year
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Oct 13, 2023Updated 2 years ago
- Toolkit for Dynamic Python code manipulations☆11Oct 19, 2024Updated last year
- ☆13Jul 22, 2022Updated 3 years ago
- ☆32Mar 14, 2023Updated 2 years ago
- A best-first-search theorem prover implemented in Isabelle☆36Jul 18, 2022Updated 3 years ago
- Clover: Closed-Loop Verifiable Code Generation☆42May 12, 2025Updated 9 months ago
- A flexible utility for converting tensor precision in PyTorch models and safetensors files, enabling efficient deployment across various …☆11Aug 24, 2023Updated 2 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- RadiaSoft utilities for modeling linear accelerators, including the Hellweg code☆10Nov 29, 2025Updated 2 months ago
- CS341 for Spring 2024☆11Jul 15, 2024Updated last year
- 張耀文老師的"奈米積體電路實體設計"作業(Physical Design)☆10Jan 18, 2024Updated 2 years ago
- A generic data structures and algorithms library using C☆12Nov 13, 2022Updated 3 years ago
- A Python library for building modular, reproducible simulation pipelines in minutes☆32Aug 22, 2025Updated 5 months ago
- G-code generator for 3D printers (RepRap, Makerbot, Ultimaker etc.)☆12Oct 21, 2021Updated 4 years ago
- CS 380D Distributed Systems at UT Austin with Vijay Chidambaram☆12Oct 19, 2023Updated 2 years ago
- pre-release.☆12Jul 15, 2015Updated 10 years 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
- Another structural analysis package☆12Jun 3, 2025Updated 8 months ago
- Robotic Assembled Timber Structures with Integral Timber Joints☆11Oct 15, 2023Updated 2 years ago