SyPet: Component-Based Synthesis for Complex APIs
☆20May 24, 2018Updated 7 years ago
Alternatives and similar repositories for sypet
Users that are interested in sypet are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆18Apr 27, 2018Updated 7 years ago
- ☆11Jul 25, 2020Updated 5 years ago
- ☆12Oct 22, 2021Updated 4 years ago
- ☆15Mar 15, 2026Updated last week
- ☆11Mar 27, 2023Updated 2 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Nov 13, 2017Updated 8 years ago
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆20Aug 24, 2021Updated 4 years ago
- a data collection of related work: Toward Understanding Deep Learning Framework Bugs☆17Oct 23, 2023Updated 2 years ago
- A multi-cursor structural editor prototype for TypeScript☆60Mar 4, 2023Updated 3 years ago
- Synthesized models for PHOG to make the results reproducible by the research community☆11Jan 23, 2020Updated 6 years ago
- ☆44Oct 27, 2025Updated 4 months ago
- Help people understand the ZKP mooc course of Berkeley☆14Feb 10, 2023Updated 3 years ago
- ☆21Apr 11, 2025Updated 11 months ago
- ☆12Dec 29, 2022Updated 3 years ago
- NLQF is a tool to filter query-appropriate comments for building high-quality code search datasets.☆19Feb 15, 2022Updated 4 years ago
- pattern combinators extending racket/match to capture 🔗 contexts 📦☆20Jul 8, 2019Updated 6 years ago
- Euphony: a probabilistic model-guided program synthesizer☆27Nov 21, 2022Updated 3 years ago
- ☆91Jun 30, 2022Updated 3 years ago
- Hi, I'm Vanessa (vsoch, the Vanessasaurus) and this is where I write things.☆11Updated this week
- Implementation of the Advanced Encryption Standard in Chisel☆19Apr 18, 2022Updated 3 years ago
- Official code for "Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning", ICL…☆27May 12, 2025Updated 10 months ago
- Detect semantically similar python code using fine-tuned GraphCodeBERT model.☆16Jan 23, 2023Updated 3 years ago
- BTOR2 MLIR project☆26Jan 17, 2024Updated 2 years ago
- Declarative unit testing for Answer Set Programming projects☆12Mar 4, 2018Updated 8 years ago
- 2020 Collegeville Workshop on Scientific Software - Developer Productivity☆12Mar 1, 2022Updated 4 years ago
- compiling DSLs to high-level hardware instructions☆23Nov 8, 2022Updated 3 years ago
- Naive Educational RISC-V -- A simple single-stage RV32I processor☆27Nov 3, 2020Updated 5 years ago
- Automated verification of uniqueness property for ZKP circuits☆45Jun 6, 2024Updated last year
- Singularity Image Format (SIF) reference implementation.☆25Mar 3, 2026Updated 3 weeks ago
- Explains the conclusions of a logic program.☆10May 25, 2023Updated 2 years ago
- Flow graphs for Python☆27Sep 21, 2022Updated 3 years ago
- ☆23Feb 23, 2026Updated last month
- Gazelle = Generalized Elle. A framework for reusable programming language semantics.☆18Jun 7, 2022Updated 3 years ago
- ☆11Apr 22, 2025Updated 11 months ago
- Damselfly Network Simulator☆10Nov 19, 2020Updated 5 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆30Jul 9, 2024Updated last year
- A GPU cache model for research purposes☆32Nov 4, 2013Updated 12 years ago
- Stripped-down version of mccs with OCaml bindings☆23Jan 9, 2025Updated last year
- GLVis Jupyter Widget☆21Sep 19, 2025Updated 6 months ago