SyPet: Component-Based Synthesis for Complex APIs
☆23May 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:
- Probabilistic API Mining☆55Jan 8, 2018Updated 8 years ago
- Code for paper "Lancer: Your Code Tell Me What You Need"☆11Jun 17, 2022Updated 4 years ago
- A Java program synthesizer.☆26Mar 28, 2019Updated 7 years ago
- Regular expression for form validations synthesizer☆16Apr 17, 2025Updated last year
- Personal configuration files☆11May 22, 2026Updated 5 months 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.
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆17Feb 6, 2022Updated 4 years ago
- Precise Attack Synthesis for DeFi Apps☆48Aug 15, 2022Updated 4 years ago
- CACHECA is a cache language model based code suggestion tool.☆12Feb 11, 2016Updated 10 years ago
- ☆18Apr 27, 2018Updated 8 years ago
- ☆20Aug 1, 2026Updated 3 months ago
- FOCUS is a context-aware collaborative-filtering system that exploits cross relationships among OSS projects to suggest the inclusion of …☆21Jun 14, 2023Updated 3 years ago
- ☆11Jul 25, 2020Updated 6 years ago
- NLP functionality on top of the Sigma system☆21Oct 17, 2026Updated 2 weeks ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆39May 17, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A template for developing custom FIRRTL transforms☆10Jan 30, 2020Updated 6 years ago
- ☆12Oct 22, 2021Updated 5 years ago
- FaCoY Code-to-Code Search Engine☆34Jan 18, 2019Updated 7 years ago
- A set of tools for extracting tokens and ASTs from code☆22Jun 5, 2018Updated 8 years ago
- Powerful Python-based metaprogramming for Rust☆14Oct 24, 2026Updated last week
- ☆11Jul 1, 2025Updated last year
- Many Decades of AI Algorithms translated (src-to-src) into the Hyperon MeTTa Language☆11Feb 26, 2024Updated 2 years ago
- YAP is a high-performance Prolog compiler☆13Mar 11, 2011Updated 15 years ago
- OpenClaw Running on your phone☆13Feb 6, 2026Updated 8 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆17Oct 16, 2026Updated 2 weeks ago
- ☆21Apr 11, 2025Updated last year
- Synthesized models for PHOG to make the results reproducible by the research community☆11Jan 23, 2020Updated 6 years ago
- Code for the ICCV 2017 paper "Introspective Neural Networks for Generative Modeling"☆11Oct 24, 2017Updated 9 years ago
- Synthesis API Refactor☆12May 17, 2022Updated 4 years ago
- Thrive is an ETL framework that runs single-row transformations on HDFS data and makes the data available in relational databases (Hive a…☆10Aug 4, 2017Updated 9 years ago
- ☆48Oct 27, 2025Updated last year
- A persistent datastore backed by RocksDB with fuzzy key lookup using an arbitrary distance function accelerated by the SymSpell algorithm☆15May 9, 2024Updated 2 years ago
- pattern combinators extending racket/match to capture 🔗 contexts 📦☆20Jul 8, 2019Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆20Mar 6, 2023Updated 3 years ago
- Euphony: a probabilistic model-guided program synthesizer☆28Nov 21, 2022Updated 3 years ago
- Materials for a 'Python for Science' bootcamp workshop.☆13Sep 23, 2018Updated 8 years ago
- modal logic library for LEAN theorem prover☆13Aug 20, 2017Updated 9 years ago
- ☆12Dec 29, 2022Updated 3 years ago
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆15Jan 4, 2022Updated 4 years ago
- Einsum Expressions in Julia☆15Aug 2, 2025Updated last year