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:
- ☆17Oct 1, 2015Updated 10 years ago
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆699Jul 31, 2026Updated last month
- Automatically exported from code.google.com/p/llvm-qemu☆11Apr 29, 2015Updated 11 years ago
- Pixman with JIT compilation using COLA☆31Aug 15, 2008Updated 18 years ago
- A synthesis-enabled solver for relational logic☆29Apr 30, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Materials for the Supercomputing 2016 tutorial on high performance Python☆16Jun 25, 2026Updated 2 months 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
- A proof assistant.☆12Feb 19, 2016Updated 10 years ago
- ☆55Feb 27, 2024Updated 2 years ago
- FromTo is a helper library that makes it simple to handle asynchronous actions with views for Android and Java/Kotlin.☆14Feb 25, 2016Updated 10 years ago
- livecoding observable-ish experiment, just an experiment☆22Jan 22, 2021Updated 5 years ago
- Racket Equivalence Graph Library☆19May 24, 2022Updated 4 years ago
- Verilog AST☆21Dec 2, 2023Updated 2 years ago
- feedback vertex set solver☆11Nov 1, 2018Updated 7 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.
- ☆12May 28, 2025Updated last year
- Many functions in C for sorting the nibbles in an 8-byte word☆33Feb 3, 2015Updated 11 years ago
- Erlang Release Framework (in the early development phase)☆15Oct 30, 2011Updated 14 years ago
- Official implementation of the paper "HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package" accepted @ DDECS 2023.☆15Jul 11, 2025Updated last year
- Rust xml tree parser to read, modify, and write xml☆10Nov 5, 2021Updated 4 years ago
- Building an understanding of the Pi RP2040 by iterative programming and head-scratching.☆16May 27, 2022Updated 4 years ago
- A compiler in Raku☆17Jul 12, 2026Updated last month
- Infraless Database over any s3 storage API.☆21Mar 23, 2024Updated 2 years ago
- Routes with TypeScript support☆10Sep 15, 2017Updated 8 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.
- Runtime for https://observablehq.com/@tomlarkworthy/webcode☆27Sep 15, 2022Updated 3 years ago
- a js llvm library☆11Jun 19, 2017Updated 9 years ago
- Automatically disassemble emacs buffers containing LLVM bitcode.☆15Oct 8, 2021Updated 4 years ago
- Torch FFI-bindings for NNPACK☆31May 26, 2017Updated 9 years ago
- 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
- A library for Time-Series exploration, analysis & modelling.☆17Dec 10, 2020Updated 5 years ago
- Easy SMT solver interaction☆36Feb 3, 2026Updated 6 months ago
- Tree-sitter integration for Swift.☆27Sep 12, 2024Updated last year
- 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.
- ☆17Aug 7, 2026Updated 3 weeks ago
- RISCV Core written in Calyx☆17Aug 16, 2024Updated 2 years ago
- ☆16Feb 18, 2025Updated last year
- Graffiti is a java library for generating relationships betwwen the classes in a jar file. Graffiti helps you bring the relationships to …☆20Jan 2, 2017Updated 9 years ago
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆17Jul 30, 2026Updated last month
- An experiment with making the Glimmer reactivity system more general☆11Jun 17, 2022Updated 4 years ago
- Constraint-based modeling framework for the enumeration of pathway analysis concepts☆14Jul 6, 2023Updated 3 years ago