A simple program specializer (based on partial evaluation) for a subset of Scheme. It includes a binding time analyzer, a residual program generator and an arity raiser.
☆13Dec 29, 2013Updated 12 years ago
Alternatives and similar repositories for unmix
Users that are interested in unmix are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Apr 19, 2025Updated last year
- SC Mini is a "minimal" positive supercompiler☆51Nov 21, 2020Updated 5 years ago
- ☆14Feb 15, 2017Updated 9 years ago
- Staged multi-result supercompilation (a model in Agda)☆12May 2, 2018Updated 8 years ago
- Supercompilation by Evaluation: archived for posterity. See http://github.com/batterseapower/chsc for the latest developments.☆17Sep 10, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A simple supercompiler formally verified in Agda☆34Mar 17, 2017Updated 9 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Sep 17, 2026Updated last month
- The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"☆24Mar 30, 2011Updated 15 years ago
- The PGG Partial Evaluation System for Scheme 48☆18Dec 31, 2012Updated 13 years ago
- A toolkit for building multi-result supercompilers☆33Oct 23, 2021Updated 5 years ago
- Deciding Presburger arithmetic in agda☆33Mar 25, 2023Updated 3 years ago
- A simple demonstration of the Agda Reflection API☆12Apr 3, 2012Updated 14 years ago
- Quickstart for Spatial language☆35Oct 1, 2020Updated 6 years ago
- Agda formalisations of some big-step normalization proofs☆14May 8, 2016Updated 10 years ago
- 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 multipage DjVu encoder. This is a fork of minidjvu, with full-scale shared dictionaries (djbz) optimization and a few tricks in order t…☆19Nov 5, 2023Updated 2 years ago
- The uncurried minimal functional programming language for CPS transformation☆18Feb 23, 2024Updated 2 years ago
- Reusable playing cards library for Rust.☆10Oct 1, 2019Updated 7 years ago
- Scripts to automatically build unity android projects from the command line / in CI☆12Jan 1, 2017Updated 9 years ago
- Elbrus 2000 (e2k) backend to LCC (Little C Compiler)☆24Sep 9, 2022Updated 4 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆125Jan 29, 2022Updated 4 years ago
- A MinCaml compiler implemented in Rust☆45Mar 3, 2026Updated 7 months ago
- Versionr Source Control System☆10Mar 8, 2019Updated 7 years ago
- Prosjekt for teknisk dokumentasjon av FEL's fellesløsninger. Publisert via Github Pages og Jekyll på docs.digdir.no☆14Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆19Jul 13, 2021Updated 5 years ago
- A simple interpreter featuring a tracing JIT☆16Mar 28, 2011Updated 15 years ago
- Efficient Graph-Based Image Segmentation in OpenCV(C++).☆12Jul 4, 2021Updated 5 years ago
- ☆16Aug 20, 2022Updated 4 years ago
- Attempto Controlled English parser and printer☆15Feb 18, 2015Updated 11 years ago
- copied from http://readable.sourceforge.net☆11Mar 13, 2016Updated 10 years ago
- a simple x64 assembler written in typed/racket☆18Apr 6, 2021Updated 5 years ago
- A newborn programming language for extensible software☆16Dec 24, 2021Updated 4 years ago
- CHIP-8 virtual machine implementation in the Rust programming language☆13Jul 11, 2015Updated 11 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆30Apr 11, 2022Updated 4 years ago
- Small openGL demo program with purely-procedural grass generation☆10Nov 10, 2016Updated 9 years ago
- STLC-related snippets in Agda☆16May 1, 2013Updated 13 years ago
- Haskell pattern match analsyis checker☆15Mar 26, 2015Updated 11 years ago
- A pluggable NES emulator☆31Jun 8, 2019Updated 7 years ago
- Automatically exported from code.google.com/p/flexfieldcontrollib☆12May 25, 2019Updated 7 years ago
- A cookiecutter template for Common Lisp videogame projects☆37Jun 20, 2025Updated last year