asolarlez / sketch-frontendView external linksLinks
☆39Jan 24, 2026Updated 3 weeks ago
Alternatives and similar repositories for sketch-frontend
Users that are interested in sketch-frontend are comparing it to the libraries listed below
Sorting:
- ☆46Jan 24, 2026Updated 3 weeks ago
- Synthesis API Refactor☆12May 17, 2022Updated 3 years ago
- KLEEF Symbolic Execution Engine☆22Aug 4, 2025Updated 6 months ago
- Few-shot Bayesian Imitation Learning with Policies as Logic over Programs☆20Oct 19, 2025Updated 3 months ago
- being the teaching materials and exercises for CS410 Advanced Functional Programming at the University of Strathclyde, 2022/23 session☆19Nov 22, 2022Updated 3 years ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆42Mar 30, 2023Updated 2 years ago
- ☆21Apr 11, 2025Updated 10 months ago
- ☆21Nov 10, 2019Updated 6 years ago
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆30Dec 29, 2024Updated last year
- Scala implementation of ILC, with benchmarks☆27Jul 5, 2016Updated 9 years ago
- A SyGuS Solver☆29May 18, 2025Updated 8 months ago
- 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
- Another structural analysis package☆12Jun 3, 2025Updated 8 months ago
- Rethinking Automation in Construction☆12Nov 3, 2025Updated 3 months ago
- ☆11Mar 17, 2017Updated 8 years ago
- One-for-all python script for running LLVM experiment☆11Jun 30, 2022Updated 3 years ago
- Bootloader tool for OLS☆22Jul 17, 2016Updated 9 years ago
- Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".☆11May 20, 2019Updated 6 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- WWVB emulator using an ESP32☆10Apr 2, 2020Updated 5 years ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Aug 27, 2025Updated 5 months ago
- [deprecated] pcl_conversions has moved to https://github.com/ros-perception/perception_pcl☆10Apr 30, 2018Updated 7 years ago
- Gym implementation of connector to Deepmind lab☆12Mar 26, 2019Updated 6 years ago
- cpp parser for reading a VCD (value change dump) file☆10Jul 15, 2013Updated 12 years ago
- https://hackmd.io/s/r1SgsdF3X☆10Dec 21, 2018Updated 7 years ago
- CoreformIGA contains a number of simple routines to perform spline-based and isogeometric analysis. The purpose of the package is to fost…☆10Feb 3, 2021Updated 5 years ago
- ☆14Aug 18, 2025Updated 5 months ago
- A tiny OCaml compiler with JVM backend 🐫☕️☆11Mar 12, 2019Updated 6 years ago
- The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"☆23Mar 30, 2011Updated 14 years ago
- An implementation of sparse-value flow analysis on top of soot (using Scala)☆10Dec 12, 2024Updated last year
- Light implementation of boxee.tv server to restore functionality to Boxee Boxes☆10Dec 17, 2023Updated 2 years ago
- Implementation of Generalized Cylinder Decomposition☆10Feb 9, 2018Updated 8 years ago
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 years ago
- C++11 port of the Diff, Match and Patch libraries for Plain Text.☆12Mar 4, 2014Updated 11 years ago
- C++ implementation of an approximate distinct counter by HIP estimator on HyperLogLog☆14Dec 3, 2016Updated 9 years ago
- Demo project for CoIDE to use the USB peripheral of Nucleo F401 board as USB host or device with Mass Storage Class.☆10Dec 3, 2014Updated 11 years ago
- DEPRECATED: Convert OpenSCAD to JSCAD (See the link below)☆23Dec 30, 2018Updated 7 years ago
- A DL compiler fuzzer☆14Nov 1, 2024Updated last year
- Ranking LLM-Generated Loop Invariants for Program Verification.☆12Aug 20, 2024Updated last year