SSA vs ANF
☆49Jul 20, 2015Updated 11 years ago
Alternatives and similar repositories for ssa-anf
Users that are interested in ssa-anf are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Sep 23, 2025Updated last year
- Experiments about intermediate representations in compilers☆28Aug 24, 2012Updated 14 years ago
- Single file interpreter (or naive virtual machine) for my intermediate representation. SSA support has been added.☆15Apr 27, 2016Updated 10 years ago
- Quantum circuits compiler with staging and continuations☆17Nov 19, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Dec 21, 2022Updated 3 years ago
- Match compilation algorithm in OCaml☆38Feb 24, 2025Updated last year
- scheme to x64 compiler☆12Mar 1, 2019Updated 7 years ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend …☆156Jun 22, 2025Updated last year
- The MLPolyR programming language, revived☆25Oct 15, 2020Updated 6 years ago
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆157Sep 23, 2025Updated last year
- Auto-parallelizing Pure Functional Language☆27Apr 29, 2019Updated 7 years ago
- A polynomial model of a Martin-Löf type theory + a bit of game semantics☆31Dec 3, 2021Updated 4 years ago
- ☆17Apr 4, 2024Updated 2 years ago
- 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.
- A functional language with dependent types and customisable type representations☆13Jul 15, 2025Updated last year
- An extension of the NbE algorithm to produce computational traces☆22May 5, 2022Updated 4 years ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆26Oct 20, 2022Updated 4 years ago
- Dream Scheme interpreter by David Joseph Stith☆16Jun 18, 2017Updated 9 years ago
- Benchmarking various normalization algorithms for the lambda calculus☆48Sep 1, 2022Updated 4 years ago
- typing haskell in haskell☆18Sep 22, 2022Updated 4 years ago
- Thoughts and stuff☆73Apr 30, 2020Updated 6 years ago
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆31Feb 5, 2023Updated 3 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆14Feb 22, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- http://spider.oscardhc.com☆13Jul 9, 2020Updated 6 years ago
- Robust prettyprinter for output of auto-generated Show instances☆17Dec 13, 2019Updated 6 years ago
- Programming Languages I Lecture Notes☆13Jul 1, 2026Updated 4 months ago
- Anders: Cubical Type Checker☆23Oct 23, 2023Updated 3 years ago
- Dependent type checker using normalisation by evaluation☆278Sep 5, 2024Updated 2 years ago
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.☆91Sep 13, 2021Updated 5 years ago
- A minimalist implementation of type theory, suitable for experimentation☆16Jun 13, 2026Updated 4 months ago
- Effect monads with specifications (DIjkstra Monads) in Lean 4☆12Feb 18, 2024Updated 2 years ago
- A formalization of the theory behind the mugen library☆20Jul 5, 2026Updated 4 months 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.
- Collect simple coverage information in memory.☆11Oct 6, 2022Updated 4 years ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- A compiler for BLOG probabilistic programming language☆26Dec 2, 2017Updated 8 years ago
- Staged compilation with dependent types☆189Oct 26, 2026Updated last week
- being the emperor of Mongo, but also a verb☆15Dec 25, 2018Updated 7 years ago
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 10 months ago
- The offline version of acm-compiler-judge☆13May 16, 2019Updated 7 years ago