nimrodpar / ProgramAnalysisGlossary
"oh god there are like a million different kinds of analyses, quickly remind me what this one means?"
☆17Updated 4 years ago
Alternatives and similar repositories for ProgramAnalysisGlossary:
Users that are interested in ProgramAnalysisGlossary are comparing it to the libraries listed below
- A Gallina compiler with C++17 as an intermediate representation☆42Updated 3 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- MimIR is my Intermediate Representation☆58Updated this week
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 3 years ago
- A collection of programming languages and type systems.☆33Updated 6 months ago
- Lean4 backend using `libgccjit`!☆11Updated last year
- Benchmark repository of polyglot effect handler examples☆23Updated 3 months ago
- Hoare Type Theory☆70Updated last month
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 8 months ago
- EGraphs in OCaml☆65Updated last year
- embedding MLIR in LEAN☆47Updated 8 months ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- A verified, modern, hardened memory allocator.☆18Updated this week
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- A parser for ANSI C, in Lean4.☆20Updated last year
- Some unstructured notes concerning the Broad tutorial to take place in March 2020☆31Updated 3 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆15Updated this week
- Duo - A research language exploring duality in programming language design☆57Updated last year
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆27Updated 2 years ago
- SPSC: A Small Positive Supercompiler☆34Updated 9 months ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 years ago
- Datalog + Egg = Good☆65Updated last year
- ☆11Updated 3 years ago
- ☆58Updated this week
- Gallina to Bedrock2 compilation toolkit☆52Updated last week