☆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 9 years ago
- typed tagless final interpreters☆13Feb 14, 2017Updated 9 years ago
- The Delite Git Repo☆219Feb 28, 2017Updated 9 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
- Data-centric metaprogramming for Scala☆17Aug 6, 2015Updated 10 years ago
- A Framework for Runtime Code Generation and Compiled DSLs☆334Feb 27, 2019Updated 7 years ago
- Protocol Buffers library for Haskell☆22Jul 18, 2021Updated 4 years ago
- The CafeSat SMT solver for Scala☆50Oct 31, 2021Updated 4 years ago
- ☆57Feb 19, 2017Updated 9 years ago
- Collapsing Towers of Interpreters☆93Jun 21, 2025Updated 8 months ago
- A talk☆29Apr 14, 2021Updated 4 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 4 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☆13Mar 3, 2026Updated last week
- 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
- 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
- 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
- Implementation of Tagged Memory security policies into Rocket Core☆10Nov 8, 2016Updated 9 years ago
- ☆10Nov 23, 2024Updated last year
- 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 10 months ago
- Repository of benchmarks for SYNTCOMP☆14Sep 16, 2025Updated 5 months ago
- ☆11Apr 10, 2024Updated last year
- A Java blockchain database implementation☆10Feb 12, 2016Updated 10 years ago
- Bigloo Scheme Compiler☆11Dec 28, 2015Updated 10 years ago
- Perlin noise toys☆17Jun 10, 2013Updated 12 years ago
- A Framework for building Distributed Consensus Protocols☆10Oct 13, 2017Updated 8 years ago
- An implementation of Google QUIC transport layer protocol for the Akka toolkit.☆12Aug 8, 2022Updated 3 years ago
- Code repository for our work on Quantum Pi☆10Jun 4, 2024Updated last year
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated last month
- A PLT Redex implementation of Featherweight Java☆17Oct 8, 2012Updated 13 years ago
- A zipper library for Clojure that navigates graph structures☆19Sep 16, 2012Updated 13 years ago