jacobstanley / ssa-anfLinks
SSA vs ANF
☆42Updated 9 years ago
Alternatives and similar repositories for ssa-anf
Users that are interested in ssa-anf are comparing it to the libraries listed below
Sorting:
- A deterministic parser with fused lexing☆73Updated last year
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- Gallina to Bedrock2 compilation toolkit☆54Updated this week
- Formalizations of Gradually Typed Languages in Agda☆57Updated 4 months ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 6 years ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆23Updated 2 years ago
- An interactive theorem prover based on lambda-tree syntax☆95Updated 2 weeks ago
- A dependent type theory with user defined data types☆46Updated 3 years ago
- Lambda normalization and conversion checking benchmarks for various implementations☆59Updated 4 years ago
- A verified compiler for a lazy functional language☆36Updated 3 weeks ago
- MetaML and MetaOCaml bibliography☆91Updated 6 months ago
- Example row-polymorphism implementations☆61Updated last year
- Educational Proof Assistant for Type Theory☆74Updated 10 months ago
- The LLVM tutorial using OCaml☆61Updated 5 years ago
- ☆33Updated 7 months ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- LL(1) parser generator verified in Coq☆47Updated 5 years ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.☆82Updated 3 years ago
- Haskell implementation of P4F Control-Flow Analysis☆21Updated 3 years ago
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Updated 2 years ago
- Unification and type inference algorithms☆125Updated 10 years ago
- A prototypical dependently typed languages with sized types and variances☆109Updated 2 years ago
- Notes on higher-order typed compilation. Probably wrong☆23Updated 2 years ago
- Coq formalizations and proofs of (data) structures and algorithms.☆46Updated 7 years ago
- A monadic library for symbolic evaluation☆66Updated 2 weeks ago
- 🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/☆27Updated 2 months ago
- ☆49Updated 3 months ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆119Updated last year