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☆697Jul 31, 2026Updated last week
- Pixman with JIT compilation using COLA☆31Aug 15, 2008Updated 17 years ago
- Automatically exported from code.google.com/p/smhasher☆16Mar 10, 2021Updated 5 years ago
- A synthesis-enabled solver for relational logic☆29Apr 30, 2018Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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
- Program synthesis☆12May 16, 2016Updated 10 years ago
- A proof assistant.☆12Feb 19, 2016Updated 10 years ago
- Fast caclulation of the coordinates of the nth point of the Hilbert curve☆16Jan 31, 2019Updated 7 years ago
- Deep-embedded combinators for strategic rewriting.☆15Nov 24, 2021Updated 4 years ago
- MID (Mutual Information Dimension) for measuring statistical dependence between two random variables☆12Apr 21, 2013Updated 13 years ago
- r4 Virtual Machine in many version, last is "r4wine2" for win, "r4a" is android.☆13Apr 22, 2019Updated 7 years ago
- Make rpc:calls from erlang to haskell☆17Mar 30, 2015Updated 11 years ago
- ☆55Feb 27, 2024Updated 2 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.
- 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
- Erlang Release Framework (in the early development phase)☆15Oct 30, 2011Updated 14 years ago
- A Plugin to use Idris with Sublime☆27Dec 30, 2020Updated 5 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
- Slides from Public Talks☆18Sep 1, 2021Updated 4 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.
- A compiler in Raku☆17Jul 12, 2026Updated 3 weeks ago
- Routes with TypeScript support☆10Sep 15, 2017Updated 8 years ago
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆24Sep 15, 2018Updated 7 years ago
- A Python Library to interact with the Cell Collective API v2☆12Dec 8, 2022Updated 3 years ago
- Tinkering with creating a functional programming language for procedural content generation.☆19Nov 28, 2024Updated last year
- Checking the network and application time of a service ( HTTP/HTTPS/FTP/etc )☆14Jun 23, 2011Updated 15 years ago
- Torch FFI-bindings for NNPACK☆31May 26, 2017Updated 9 years ago
- Nilsimsa locality-sensitive hashing algorithm in Elixir☆15Jun 19, 2023Updated 3 years ago
- Library for generating various random variables☆15Updated this week
- 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.
- Easy SMT solver interaction☆36Feb 3, 2026Updated 6 months ago
- ☆17Updated this week
- Tree-sitter integration for Swift.☆27Sep 12, 2024Updated last year
- RISCV Core written in Calyx☆17Aug 16, 2024Updated last year
- ☆16Feb 18, 2025Updated last year
- 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 week
- A LaTeX change tracking tool☆10Sep 19, 2025Updated 10 months ago