☆14Feb 15, 2017Updated 9 years ago
Alternatives and similar repositories for supercompilation-hypergraph
Users that are interested in supercompilation-hypergraph are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A toolkit for building multi-result supercompilers☆33Oct 23, 2021Updated 4 years ago
- microKanren sagittarius/larceny☆11Jun 13, 2015Updated 11 years ago
- Supercompilation by Evaluation: archived for posterity. See http://github.com/batterseapower/chsc for the latest developments.☆17Sep 10, 2021Updated 5 years ago
- A simple supercompiler formally verified in Agda☆34Mar 17, 2017Updated 9 years ago
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆30Apr 11, 2022Updated 4 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Benchmark Suite for Interpretable Rule Learning☆12Aug 23, 2020Updated 6 years ago
- F-omega with interval kinds mechanized in Agda☆14Aug 1, 2024Updated 2 years ago
- A collection of Kanren implementations in Julia☆25Oct 14, 2025Updated last year
- Scala staging framework☆18Jul 13, 2018Updated 8 years ago
- Static analysis of a parallel Scheme☆18Jun 3, 2014Updated 12 years ago
- proof script associated to tutorial material☆16Jul 1, 2026Updated 3 months ago
- SC Mini is a "minimal" positive supercompiler☆51Nov 21, 2020Updated 5 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Aug 27, 2015Updated 11 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A Model of Relationally Parametric System F in Coq☆25May 27, 2015Updated 11 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆33Mar 9, 2025Updated last year
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated last year
- ☆13Apr 19, 2025Updated last year
- An unofficial list of papers accepted to POPL 2013.☆19Jan 13, 2018Updated 8 years ago
- PCF with Contracts and Symbolic Values☆17Mar 30, 2016Updated 10 years ago
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆20Aug 24, 2021Updated 5 years ago
- A statically typed embedding of miniKanren in Haskell☆28Oct 10, 2026Updated last week
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 6 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- BisPy - Python bisimulation library☆17Jan 21, 2022Updated 4 years ago
- Graduated to js.scala: JavaScript as an embedded DSL in Scala☆20Jul 12, 2012Updated 14 years ago
- ☆12Mar 31, 2024Updated 2 years ago
- A taxonomy of defects with a benchmarking script that validates which of them can be spot by which static analyzers☆16Dec 10, 2025Updated 10 months ago
- surgical precision JIT compilers☆123Aug 18, 2017Updated 9 years ago
- 100Mbps unmanaged cut-through ethernet switch.☆42Sep 1, 2026Updated last month
- ☆16Apr 16, 2021Updated 5 years ago
- a minimal implementation of incremental computation in Scheme☆39Apr 30, 2017Updated 9 years ago
- generative programming & verification☆34Jul 18, 2026Updated 3 months ago
- 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.
- Proposal for faster sbt launch times and more stable plugin ecosystem☆22Jun 13, 2018Updated 8 years ago
- ☆23Dec 17, 2013Updated 12 years ago
- Simple printing with Text☆10Jan 3, 2017Updated 9 years ago
- Репозиторий для лабораторных и просто работ по программе обучения на кафедре ИУ9☆13May 17, 2026Updated 5 months ago
- Simple lambda prover☆24Jul 6, 2015Updated 11 years ago
- Research project: Program synthesis using updated interface, template and types.☆14Dec 2, 2020Updated 5 years ago
- Formalizations of strong normalization proofs☆35Jul 8, 2019Updated 7 years ago