An automatic recursive function transformer.
☆10Aug 12, 2023Updated 2 years ago
Alternatives and similar repositories for Synduce
Users that are interested in Synduce are comparing it to the libraries listed below
Sorting:
- Automatic parallel divide-and-conquer programs synthesizer☆16Dec 15, 2021Updated 4 years ago
- Tons of Inductive Problems: The Benchmarks☆27Jul 5, 2023Updated 2 years ago
- ☆21Apr 11, 2025Updated 10 months ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆38Feb 19, 2026Updated last week
- Security-focused static analyzer for Java and Kotlin web applications☆30Updated this week
- The standard for an L2 block explorer API☆11Jul 19, 2023Updated 2 years ago
- ☆11May 19, 2022Updated 3 years ago
- ☆11May 10, 2022Updated 3 years ago
- smart contracts deployed on Ethereum, one per skeleton☆11Mar 10, 2024Updated last year
- Beta Version of Cryptographic Fault Diagnosis Tool (VerFI)☆13Nov 6, 2020Updated 5 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- Lifting Reduction Semantics through Syntactic Sugar☆13May 13, 2018Updated 7 years ago
- A blockchain simulator based on SimPy in python.☆14Dec 18, 2018Updated 7 years ago
- Ray tracing on the Ethereum Virtual Machine☆12May 5, 2021Updated 4 years ago
- Online partial evaluator for pure Prolog programs (with built-ins)☆12Jan 12, 2026Updated last month
- Working elements of the HPC course of the master DFE Paris Saclay☆12Jan 9, 2026Updated last month
- ☆12Mar 13, 2023Updated 2 years ago
- MonoX被攻击事件的分析和复现☆10Dec 2, 2021Updated 4 years ago
- This repository contains research papers & studies that I have worked on or am currently working on.☆12Jan 29, 2026Updated last month
- ☆14Aug 18, 2025Updated 6 months ago
- An example on how to retrieve data from Competitive Companion☆11Dec 8, 2022Updated 3 years ago
- A Tool for Intersecting Context-Free Grammars☆10Dec 19, 2017Updated 8 years ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆43Mar 30, 2023Updated 2 years ago
- Anyswap aka Multichain V4Router 攻击事件的分析和复现☆11Feb 15, 2022Updated 4 years ago
- Type-and-example directed program synthesis using example propagation, as described in Program Synthesis Using Example Propagation.☆14Apr 4, 2023Updated 2 years ago
- ERC-4337 (Account Abstraction)☆11Aug 5, 2023Updated 2 years ago
- Arbitrage program demo using web3js lib to implement interaction with dex which is running on smartbch chain like Benswap, Mistswap, etc.☆10Jan 6, 2025Updated last year
- Saint-Petersburg: Beamer theme for SPbU☆11Dec 3, 2021Updated 4 years ago
- A set of tools for use with the huff language.☆21Jun 24, 2022Updated 3 years ago
- 北大树洞备份关注列表脚本☆13Sep 12, 2022Updated 3 years ago
- A not so succinct comparison (with numbers) between zkVMs (Q4 2024 edition)☆17Nov 7, 2024Updated last year
- Solythesis: Securing Smart Contract with Runtime Validation☆12Mar 3, 2023Updated 2 years ago
- A curated list of blockchain resources for embedded developers☆13Nov 29, 2021Updated 4 years ago
- D-DALLE brings together the world’s artist creativity using AI and Blockchain. D-DALLE's smart contracts constitute a fully-functional ar…☆13Nov 10, 2022Updated 3 years ago
- The ExpressOS kernel☆17Jun 7, 2013Updated 12 years ago
- A basic example for how to use hashes to "store" complex objects as hashes. Inspired by 0xSplits.☆13Jul 30, 2022Updated 3 years ago
- A web server that allows embedding in Discord based on URL.☆11Dec 8, 2022Updated 3 years ago
- ☆11Jan 14, 2025Updated last year
- A template set for writing semantics in LaTeX☆12Aug 17, 2015Updated 10 years ago