Optimizing Synthesis with Metasketches, POPL 2016
☆24Jan 11, 2017Updated 9 years ago
Alternatives and similar repositories for synapse
Users that are interested in synapse are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆703Jul 31, 2026Updated last month
- A synthesis-enabled solver for relational logic☆29Apr 30, 2018Updated 8 years ago
- CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI bre…☆10May 19, 2022Updated 4 years ago
- Deep-embedded combinators for strategic rewriting.☆15Nov 24, 2021Updated 4 years ago
- r4 Virtual Machine in many version, last is "r4wine2" for win, "r4a" is android.☆14Apr 22, 2019Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Make rpc:calls from erlang to haskell☆17Mar 30, 2015Updated 11 years ago
- ☆55Feb 27, 2024Updated 2 years ago
- Racket Equivalence Graph Library☆19May 24, 2022Updated 4 years ago
- ☆12Sep 2, 2026Updated 2 weeks ago
- Erlang Release Framework (in the early development phase)☆15Oct 30, 2011Updated 14 years ago
- Routes with TypeScript support☆10Sep 15, 2017Updated 9 years ago
- Follow Mastodon User Browser Extension☆12Mar 10, 2023Updated 3 years ago
- Automatically disassemble emacs buffers containing LLVM bitcode.☆14Oct 8, 2021Updated 4 years ago
- Torch FFI-bindings for NNPACK☆31May 26, 2017Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Resources for conference program chairs, especially in systems/PL areas of computer science.☆12May 14, 2023Updated 3 years ago
- LLVM Dialects Library☆24Jul 29, 2026Updated last month
- Easy SMT solver interaction☆36Feb 3, 2026Updated 7 months ago
- Tree-sitter integration for Swift.☆27Sep 12, 2024Updated 2 years ago
- Add dynamic typing capabilities to C++☆12Jun 15, 2015Updated 11 years ago
- Constraint-based modeling framework for the enumeration of pathway analysis concepts☆14Jul 6, 2023Updated 3 years ago
- Sample SWI-Prolog server with JavaScript client☆13Nov 30, 2023Updated 2 years ago
- ☆15Aug 19, 2026Updated last month
- A small wrapper around SQLite and YAML☆15May 7, 2012Updated 14 years ago
- 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.
- Logical inference system based on event semantics and degree semantics in formal semantics☆10Jan 22, 2023Updated 3 years ago
- GoogLeNet Inception arhitecture v4 implementation on torch☆11Mar 18, 2016Updated 10 years ago
- parse-english is a minimum viable English parser implemented in LexYacc☆11Apr 5, 2023Updated 3 years ago
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated 2 years ago
- collaboration on work in progress☆15Mar 4, 2011Updated 15 years ago
- A Java program synthesizer.☆24Mar 28, 2019Updated 7 years ago
- Text objects and motions for Latex editing in Vim.☆14Sep 28, 2020Updated 5 years ago
- ☆17Dec 30, 2020Updated 5 years ago
- Library of Unix effects for Coq.☆23Sep 28, 2019Updated 6 years ago
- 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.
- Web framework based on Erlang's inets httpd framework☆18Apr 9, 2013Updated 13 years ago
- Fintie Sets in Cubical Agda☆13Aug 30, 2019Updated 7 years ago
- Synthesis and Reprogramming of Most Permissive Boolean Networks☆17Sep 1, 2026Updated 2 weeks ago
- A tool that checks for V8 optimization killers.☆13Mar 13, 2020Updated 6 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆34Nov 13, 2017Updated 8 years ago
- A simple Prolog API for the Z3 constraint solver☆15Feb 5, 2018Updated 8 years ago
- A module language for programming with multiple named scopes, orthogonal to lexical nesting.☆17Jul 19, 2022Updated 4 years ago