GeorgOfenbeck / SpiralSView external linksLinks
☆23Dec 17, 2013Updated 12 years ago
Alternatives and similar repositories for SpiralS
Users that are interested in SpiralS are comparing it to the libraries listed below
Sorting:
- A prototype meta DSL that generates Delite DSL implementations from a specification-like program.☆51Feb 28, 2017Updated 8 years ago
- The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)☆10Jan 11, 2021Updated 5 years ago
- typed tagless final interpreters☆13Feb 14, 2017Updated 9 years ago
- The Delite Git Repo☆219Feb 28, 2017Updated 8 years ago
- A toolkit for building multi-result supercompilers☆32Oct 23, 2021Updated 4 years ago
- Data-centric metaprogramming for Scala☆17Aug 6, 2015Updated 10 years ago
- A Framework for Runtime Code Generation and Compiled DSLs☆332Feb 27, 2019Updated 6 years ago
- The CafeSat SMT solver for Scala☆50Oct 31, 2021Updated 4 years ago
- ☆57Feb 19, 2017Updated 8 years ago
- Partial evaluation of Python code☆22Mar 2, 2023Updated 2 years ago
- Collapsing Towers of Interpreters☆93Jun 21, 2025Updated 7 months ago
- A talk☆29Apr 14, 2021Updated 4 years ago
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆29Apr 11, 2022Updated 3 years ago
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- The goal of the Feldspar project is to define a high-level language that allows description of high-performance digital signal processing…☆47Oct 12, 2021Updated 4 years ago
- CLP(SMT) on top of miniKanren☆39Feb 26, 2022Updated 3 years ago
- Tutorials on Lightweight Modular Staging☆122Oct 15, 2024Updated last year
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Jun 30, 2016Updated 9 years ago
- EncryCore node reference implementation☆15Apr 2, 2020Updated 5 years ago
- tool for postgres to automatically build rest services and web forms☆13Feb 3, 2026Updated 2 weeks ago
- Library for deep embedding of DSLs based on Scala macros.☆75Jan 12, 2016Updated 10 years ago
- Python interface to FPGA interchange format☆41Oct 19, 2022Updated 3 years ago
- build and package Inkscape on macOS☆10Dec 11, 2025Updated 2 months ago
- The Quantum Abstract Machine (QUAM) is a comprehensive framework designed to abstract and manage quantum programming environments, provid…☆18Jan 28, 2026Updated 2 weeks ago
- Implementation of Tagged Memory security policies into Rocket Core☆10Nov 8, 2016Updated 9 years ago
- ☆10Nov 23, 2024Updated last year
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated last month
- A JMM Cookbook for Java Developers(as opposed to a cookbook for Compiler Writers)☆12Jun 13, 2014Updated 11 years ago
- Galaxy is a lightweight software deployment and management tool. We use it at Ning to manage the Java cores and Apache httpd instances th…☆21Sep 11, 2011Updated 14 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 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
- ☆56Apr 25, 2025Updated 9 months ago
- Akka Streams helper toolkit to build complex, referentially transparent streaming applications☆10Feb 26, 2018Updated 7 years ago
- ☆10Aug 23, 2015Updated 10 years ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- Matlab Implementation of "The Hierarchical Hidden Markov Model: Analysis and Applications"☆22Aug 31, 2011Updated 14 years ago
- An implementation of Google QUIC transport layer protocol for the Akka toolkit.☆12Aug 8, 2022Updated 3 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 9 years ago
- A prototype of an SSA-based quantum IR exploiting value semantics☆12Jan 23, 2024Updated 2 years ago