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
- Sigmoid Numbers backed by IEEE Floats☆17Jul 8, 2017Updated 8 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
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆29Apr 11, 2022Updated 3 years ago
- Code for "Staged Generic Programming" (ICFP 2017)☆28Sep 2, 2023Updated 2 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
- Tutorials on Lightweight Modular Staging☆122Oct 15, 2024Updated last year
- Kansas Lava☆50Oct 6, 2019Updated 6 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Jun 30, 2016Updated 9 years ago
- tool for postgres to automatically build rest services and web forms☆13Feb 3, 2026Updated 2 weeks ago
- EncryCore node reference implementation☆15Apr 2, 2020Updated 5 years ago
- Python interface to FPGA interchange format☆41Oct 19, 2022Updated 3 years ago
- Library for deep embedding of DSLs based on Scala macros.☆75Jan 12, 2016Updated 10 years 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
- ☆10Nov 23, 2024Updated last year
- 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
- Implementation of Tagged Memory security policies into Rocket Core☆10Nov 8, 2016Updated 9 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
- 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
- build and package Inkscape on macOS☆10Dec 11, 2025Updated 2 months ago
- ☆56Apr 25, 2025Updated 9 months ago
- Akka Streams helper toolkit to build complex, referentially transparent streaming applications☆10Feb 26, 2018Updated 7 years ago
- Perlin noise toys☆17Jun 10, 2013Updated 12 years ago
- A Framework for building Distributed Consensus Protocols☆10Oct 13, 2017Updated 8 years ago
- Fast Bytecode Analysis☆15Jan 2, 2016Updated 10 years ago
- A zipper library for Clojure that navigates graph structures☆19Sep 16, 2012Updated 13 years ago
- Relational Programming DSL in Scala. Yet another minikanren port!☆15Nov 11, 2016Updated 9 years ago
- the actual epiphany backend☆20May 18, 2013Updated 12 years ago
- ☆34Oct 12, 2020Updated 5 years ago