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
Sorting:
- Verilog AST☆21Dec 2, 2023Updated 2 years ago
- Encrypted backup system, written in Rust.☆29Aug 25, 2019Updated 6 years ago
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆685Nov 21, 2025Updated 3 months ago
- Audible NP-Complete Problem☆22Oct 26, 2019Updated 6 years ago
- Automatically exported from code.google.com/p/mmc☆29Aug 5, 2022Updated 3 years ago
- Sample implementation accompanying the NeurIPS 2019 paper 'Powerset Convolutional Neural Networks' by Chris Wendler, Dan Alistarh, and Ma…☆10Oct 26, 2020Updated 5 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- ☆11Jan 18, 2020Updated 6 years ago
- The repository for the LUCAS/Lucify project☆11Apr 4, 2020Updated 5 years ago
- An AMD am2901 4-bit ALU slice☆10Feb 14, 2023Updated 3 years ago
- [FCCM 2023] PASTA: Programming and Automation Support for Scalable Task-Parallel HLS Programs on Modern Multi-Die FPGAs☆13Jun 26, 2025Updated 8 months ago
- C++ code and documentation for the MFlash PKDD'16 publication☆10Oct 25, 2016Updated 9 years ago
- ☆12Dec 17, 2024Updated last year
- Sample Python code that demonstrates how to use the Python client to work with Riak TS (Time Series)☆11Aug 30, 2016Updated 9 years ago
- Rust program for downloading APKs of given Android package.☆10Oct 29, 2024Updated last year
- An agent library for systems of nested automata.☆43Apr 10, 2017Updated 8 years ago
- Leftry - A left-recursion enabled recursive-descent parser combinator library for Lua.☆38Oct 9, 2017Updated 8 years ago
- Tools for analyzing how the Rust ecosystem is using the language☆12Jan 21, 2015Updated 11 years ago
- Resources for conference program chairs, especially in systems/PL areas of computer science.☆11May 14, 2023Updated 2 years ago
- Visual graph rewriting platform☆10Jun 3, 2025Updated 9 months ago
- Build crystal projects using nix.☆19Jul 9, 2025Updated 7 months ago
- A Truffle Clojure Interpreter (playground)☆12May 15, 2021Updated 4 years ago
- Complex Data Extraction with LLMs☆10Nov 4, 2024Updated last year
- A Github repo search CLI☆20Dec 18, 2023Updated 2 years ago
- Library and tools to access the GUID Partition Table (GPT) volume system format☆11Dec 20, 2025Updated 2 months ago
- A simple PNaCl app (in Rust!) that prints "Hello, world!" on Chrome's developer console.☆13Apr 19, 2015Updated 10 years ago
- Deep learning with Caffe on phones, with OpenCL support for CPU and GPU devices.☆10Mar 11, 2016Updated 9 years ago
- Solver in the low-rank tensor train format with cross approximation approach for the multidimensional Fokker-Planck equation☆14Oct 24, 2023Updated 2 years ago
- Code for paper "Learning a Code: Machine Learning for Approximate Non-Linear Coded-Computation"☆11Dec 21, 2020Updated 5 years ago
- GoLismero web fingerprint population tool☆19Jul 30, 2013Updated 12 years ago
- A Python 3 compatible fork of https://launchpad.net/pymeta☆18Jan 9, 2019Updated 7 years ago
- An experimental interactive shell for Alpaca, the ML language that runs on the Erlang VM☆10Jun 7, 2017Updated 8 years ago
- the actual epiphany backend☆20May 18, 2013Updated 12 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 3 years ago
- The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. I…☆16Nov 15, 2012Updated 13 years ago
- Natural Language Inflection in English☆11Jan 10, 2022Updated 4 years ago
- A simple tutorial about how to use the CIL compiler frontend☆12Feb 10, 2025Updated last year
- HSAIL (BRIG) frontend for gcc☆11May 7, 2018Updated 7 years ago
- Updated version of LocBaml tool from Microsoft☆13Oct 27, 2017Updated 8 years ago