Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".
☆30Apr 11, 2022Updated 4 years ago
Alternatives and similar repositories for Distiller
Users that are interested in Distiller are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Staged multi-result supercompilation (a model in Agda)☆12May 2, 2018Updated 8 years ago
- ☆13Apr 19, 2025Updated last year
- ☆14Feb 15, 2017Updated 9 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- An Agda formalization of System F and the Brown-Palsberg self-interpreter☆25Oct 4, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Offline partial evaluation system for Prolog written using the cogen approach☆22Jul 19, 2016Updated 10 years ago
- A simple supercompiler formally verified in Agda☆34Mar 17, 2017Updated 9 years ago
- Refal2 interpreter☆11Dec 30, 2019Updated 6 years ago
- A dependent type theory with user defined data types☆48Oct 1, 2021Updated 5 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆125Jan 29, 2022Updated 4 years ago
- SC Mini is a "minimal" positive supercompiler☆51Nov 21, 2020Updated 5 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆13Jul 20, 2017Updated 9 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 6 years ago
- Компилятор Рефала-5λ☆100Oct 25, 2026Updated last week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- SPSC: A Small Positive Supercompiler☆41Feb 12, 2026Updated 8 months ago
- The uncurried minimal functional programming language for CPS transformation☆18Feb 23, 2024Updated 2 years ago
- A toolkit for building multi-result supercompilers☆33Oct 23, 2021Updated 5 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆26Jul 26, 2022Updated 4 years ago
- Implementations of various toy programming languages☆11Apr 19, 2018Updated 8 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 10 years ago
- Lambda normalization and conversion checking benchmarks for various implementations☆58Apr 15, 2021Updated 5 years ago
- Multi-stage Programming in F#☆12Mar 30, 2016Updated 10 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.
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 9 years ago
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆14Feb 26, 2024Updated 2 years ago
- prototyping logic programming in Scala☆41Mar 25, 2022Updated 4 years ago
- Erlang BEAM emulator in Haskell☆47Jun 14, 2014Updated 12 years ago
- Travelling Salesman Problem using Ant Colony Optimization☆16Apr 4, 2019Updated 7 years ago
- Efficient search weighted by an ordered monoid with monus.☆19Dec 12, 2022Updated 3 years ago
- a self-hosting lambda calculus compiler☆36Mar 31, 2025Updated last year
- A Toy Inverse Bidirectional Typechecker☆33May 13, 2019Updated 7 years ago
- Curated list of TF related stuff☆27Dec 8, 2022Updated 3 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.
- Earley parsing algorithm implementation in Haskell including a CFG definition API☆13Sep 26, 2011Updated 15 years ago
- Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…☆11Jul 20, 2023Updated 3 years ago
- library with a semiring class and some useful semirings☆11Nov 23, 2019Updated 6 years ago
- Delimited continuations in byte-code and native OCaml☆27Jan 10, 2021Updated 5 years ago
- Dependently-typed language with Iverson-style implicit lifting☆128Mar 24, 2020Updated 6 years ago
- Regular expressions of types☆16Sep 13, 2018Updated 8 years ago
- Racket Equivalence Graph Library☆19May 24, 2022Updated 4 years ago