☆39Jan 24, 2026Updated last month
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 last month
- The implementation of an SMTLib dialect for xDSL☆17Feb 27, 2026Updated last week
- Synthesis API Refactor☆12May 17, 2022Updated 3 years ago
- KLEEF Symbolic Execution Engine☆22Aug 4, 2025Updated 7 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)☆43Mar 30, 2023Updated 2 years ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆25Feb 13, 2023Updated 3 years ago
- ☆21Nov 10, 2019Updated 6 years ago
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆31Dec 29, 2024Updated last year
- Scala implementation of ILC, with benchmarks☆27Jul 5, 2016Updated 9 years ago
- A SyGuS Solver☆30May 18, 2025Updated 9 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
- Accompanying materials for "A Core Calculus for Documents"☆36Oct 5, 2023Updated 2 years ago
- Robotic Assembled Timber Structures with Integral Timber Joints☆11Oct 15, 2023Updated 2 years ago
- WWVB emulator using an ESP32☆10Apr 2, 2020Updated 5 years ago
- Ice40 open source HDMI examples on BlackIce II☆11May 12, 2022Updated 3 years ago
- (AAAI 2026) OSVBench, a new benchmark for evaluating Large Language Models (LLMs) in generating complete specification code pertaining to…☆13May 13, 2025Updated 9 months ago
- Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".☆11May 20, 2019Updated 6 years ago
- Another structural analysis package☆12Jun 3, 2025Updated 9 months ago
- ☆11Nov 3, 2020Updated 5 years ago
- Rethinking Automation in Construction☆12Nov 3, 2025Updated 4 months ago
- ☆11Mar 17, 2017Updated 8 years ago
- Working repo for a dynamic parametric wake toolbox which combines OnWaRDS, FLORIDyn and FLORIS☆19Jul 24, 2025Updated 7 months ago
- cpp parser for reading a VCD (value change dump) file☆10Jul 15, 2013Updated 12 years ago
- C++ implementation of an approximate distinct counter by HIP estimator on HyperLogLog☆14Dec 3, 2016Updated 9 years ago
- PCB layout for my cheap FPGA HDMI experimenting board☆10Aug 21, 2014Updated 11 years ago
- With one whole audio and corresponding text, the audio can be split line by line and saved with exact sentence using comparison with the …☆10Feb 28, 2019Updated 7 years ago
- A blog of Programming Languages Group @Purdue☆11Feb 17, 2026Updated 2 weeks ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- ☆14Feb 6, 2024Updated 2 years ago
- DEPRECATED: Convert OpenSCAD to JSCAD (See the link below)☆23Dec 30, 2018Updated 7 years ago
- GGP Matlab code☆14Apr 28, 2020Updated 5 years ago
- [deprecated] pcl_conversions has moved to https://github.com/ros-perception/perception_pcl☆10Apr 30, 2018Updated 7 years ago
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 2 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
- PyBullet Construction Planning☆11Apr 22, 2021Updated 4 years ago
- Network based loader and flasher for Pano G2 devices☆15Jul 8, 2023Updated 2 years ago
- ☆14Aug 18, 2025Updated 6 months ago
- Collection of interesting patterns, inspired by nature, powered by p5js☆10Jun 2, 2018Updated 7 years ago