nimrodpar / ProgramAnalysisGlossary
"oh god there are like a million different kinds of analyses, quickly remind me what this one means?"
☆16Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for ProgramAnalysisGlossary
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆18Updated last year
- ☆51Updated 3 weeks ago
- J Language Source Code. Livestream links ⬇️☆38Updated 2 years ago
- A Gallina compiler with C++17 as an intermediate representation☆42Updated 3 years ago
- Cerberus C semantics☆53Updated this week
- MimIR is my Intermediate Representation☆48Updated last week
- racket llvm C-API bindings☆17Updated 2 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆14Updated 5 months ago
- EGraphs in OCaml☆60Updated 9 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 2 years ago
- SPSC: A Small Positive Supercompiler☆32Updated 5 months ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 3 years ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- This repository is supposed to hold a released version of Xanadu☆23Updated 3 years ago
- An automated theorem prover that uses Büchi automata.☆40Updated 3 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆67Updated 7 years ago
- embedding MLIR in LEAN☆47Updated 4 months ago
- ☆89Updated 3 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated last year
- A verified, modern, hardened memory allocator.☆14Updated 3 weeks ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆35Updated 7 years ago
- ☆21Updated 2 years ago
- Gallina to Bedrock2 compilation toolkit☆50Updated last month
- Demo for dependent types + runtime code generation☆12Updated this week
- An esoteric RPN golfing language☆24Updated 2 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 4 years ago
- A dependent type theory with user defined data types☆45Updated 3 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 3 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆53Updated 6 months ago
- An implementation of scoped algebraic effects and handlers in Agda.☆11Updated 3 years ago