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:
- TV show scraper/renamer thingy☆12May 10, 2013Updated 13 years ago
- ☆17Oct 1, 2015Updated 11 years ago
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆709Oct 16, 2026Updated 2 weeks ago
- This github repository hosts the code used within my thesis work and my last publication.☆13Jul 20, 2017Updated 9 years ago
- Automatically exported from code.google.com/p/smhasher☆16Mar 10, 2021Updated 5 years ago
- 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.
- 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
- feedback vertex set solver☆11Nov 1, 2018Updated 7 years ago
- ☆55Feb 27, 2024Updated 2 years ago
- Make rpc:calls from erlang to haskell☆17Mar 30, 2015Updated 11 years ago
- Many functions in C for sorting the nibbles in an 8-byte word☆33Feb 3, 2015Updated 11 years ago
- NatLang is an English parser with an extensible grammar☆23Nov 22, 2018Updated 7 years ago
- Phased Array Radar☆14Aug 15, 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.
- A multi-version Sphinx building tool based on containers☆13Feb 20, 2026Updated 8 months ago
- (Plugin has been added to official beets release) Beets plugin that imports Last.fm play counts into database☆11Oct 10, 2014Updated 12 years ago
- Building an understanding of the Pi RP2040 by iterative programming and head-scratching.☆16May 27, 2022Updated 4 years ago
- FlipperZero GPIO Pin KiCAD Library - Symbol & Footprint☆11Feb 26, 2023Updated 3 years ago
- automatically search for & insert URL targets for links in Markdown & ReST☆11Apr 3, 2023Updated 3 years ago
- Follow Mastodon User Browser Extension☆12Mar 10, 2023Updated 3 years ago
- Use QuasiQuotation with llvm-general☆12Jan 7, 2017Updated 9 years ago
- parse-english is a minimum viable English parser implemented in LexYacc☆12Apr 5, 2023Updated 3 years ago
- Chunky Loop Analyzer: A Polyhedral Representation Extraction Tool for High Level Programs☆26Sep 14, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- a js llvm library☆11Jun 19, 2017Updated 9 years ago
- Erlang Release Framework (in the early development phase)☆15Oct 30, 2011Updated 15 years ago
- A plugin to allow nose to run tests in a random order☆11Jan 20, 2019Updated 7 years ago
- Finite domain constraint solver in Haskell☆20Oct 2, 2021Updated 5 years ago
- A LaTeX change tracking tool☆10Sep 19, 2025Updated last year
- E-ink, touchscreen remote for Home Assistant using M5Paper S3.☆13Aug 17, 2026Updated 2 months ago
- An experiment with making the Glimmer reactivity system more general☆11Jun 17, 2022Updated 4 years ago
- Resources for conference program chairs, especially in systems/PL areas of computer science.☆12May 14, 2023Updated 3 years ago
- Graffiti is a java library for generating relationships betwwen the classes in a jar file. Graffiti helps you bring the relationships to …☆21Jan 2, 2017Updated 9 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Add dynamic typing capabilities to C++☆12Jun 15, 2015Updated 11 years ago
- GoogLeNet Inception arhitecture v4 implementation on torch☆11Mar 18, 2016Updated 10 years ago
- ☆12Sep 8, 2016Updated 10 years ago
- LLVM Dialects Library☆24Updated this week
- Easy SMT solver interaction☆37Feb 3, 2026Updated 8 months ago
- Alloy with browser-based visualizations☆31Jun 16, 2021Updated 5 years ago
- A pack of extra commands for the Flipper Zero (a C library)☆11Jul 26, 2023Updated 3 years ago