SyPet: Component-Based Synthesis for Complex APIs
☆22May 24, 2018Updated 8 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:
- Code for paper "Lancer: Your Code Tell Me What You Need"☆11Jun 17, 2022Updated 3 years ago
- CACHECA is a cache language model based code suggestion tool.☆12Feb 11, 2016Updated 10 years ago
- A Minecraft 1.15.2 Server implemented in go☆12Oct 17, 2020Updated 5 years ago
- ☆11Jul 25, 2020Updated 5 years ago
- Iodine: Verifying Constant-Time Execution of Hardware☆18Mar 29, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆12Oct 22, 2021Updated 4 years ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆39May 17, 2023Updated 3 years ago
- ☆16Updated this week
- ☆11Mar 27, 2023Updated 3 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
- For our ICSE22 paper "EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries" by Jiannan Wang, Thibaud Lutellier, Shangshu Qia…☆13Aug 16, 2023Updated 2 years ago
- a data collection of related work: Toward Understanding Deep Learning Framework Bugs☆18Oct 23, 2023Updated 2 years ago
- (AAAI 2026) OSVBench, a new benchmark for evaluating Large Language Models (LLMs) in generating complete specification code pertaining to…☆15May 13, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆20Nov 5, 2018Updated 7 years ago
- Code for the ICCV 2017 paper "Introspective Neural Networks for Generative Modeling"☆11Oct 24, 2017Updated 8 years ago
- A Java program synthesizer.☆23Mar 28, 2019Updated 7 years ago
- Help people understand the ZKP mooc course of Berkeley☆14Feb 10, 2023Updated 3 years ago
- ☆12Dec 29, 2022Updated 3 years ago
- A vector processor implemented in Chisel☆21Aug 3, 2014Updated 11 years ago
- Neural Networks with Tensorflow☆12Jun 9, 2018Updated 8 years ago
- Python module for creating n-grams from a chunk of text☆31Mar 24, 2026Updated 2 months ago
- pattern combinators extending racket/match to capture 🔗 contexts 📦☆20Jul 8, 2019Updated 6 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Euphony: a probabilistic model-guided program synthesizer☆27Nov 21, 2022Updated 3 years ago
- Materials for a 'Python for Science' bootcamp workshop.☆13Sep 23, 2018Updated 7 years ago
- Concurrent-C to Rust Automatic Translator☆15Jan 26, 2023Updated 3 years ago
- ☆91Jun 30, 2022Updated 3 years ago
- Hi, I'm Vanessa (vsoch, the Vanessasaurus) and this is where I write things.☆11Apr 21, 2026Updated last month
- SyPhon: Constraint-based Learning of Phonological Rules☆11Mar 5, 2025Updated last year
- Implementation of the Advanced Encryption Standard in Chisel☆19Apr 18, 2022Updated 4 years ago
- Official code for "Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning", ICL…☆32May 12, 2025Updated last year
- Java 代码生成 xmind graphviz dot 关系图☆18Aug 31, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Detect semantically similar python code using fine-tuned GraphCodeBERT model.☆15Jan 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☆28Nov 3, 2020Updated 5 years ago
- A simple Petri net framework in Java. I had to write this for my studies and figured it might be helpful for someone.☆34Sep 5, 2018Updated 7 years ago