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
- MimIR is my Intermediate Representation☆48Updated 2 weeks ago
- Pull your compiler up with abstract bootstraps.☆31Updated last year
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34Updated 4 years ago
- SPSC: A Small Positive Supercompiler☆32Updated 6 months ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- SKI combinators☆50Updated 7 years ago
- Lean4 backend using `libgccjit`!☆11Updated last year
- A dependent type theory with user defined data types☆45Updated 3 years ago
- ☆89Updated 3 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago
- ☆53Updated this week
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆30Updated 2 years ago
- A stepping debugger for Standard ML (SML)☆23Updated 9 months ago
- A system to amalgamate any features you want into any language you need☆26Updated 2 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 2 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆62Updated 5 months ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- embedding MLIR in LEAN☆47Updated 5 months ago
- Gallina to Bedrock2 compilation toolkit☆50Updated last month
- GPU-based interaction nets evaluator☆15Updated 12 years ago
- Duo - A research language exploring duality in programming language design☆57Updated last year
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Simple conservative GC using mimalloc☆38Updated 2 years ago
- sketches for egg: a flexible, high-performance e-graph library☆25Updated 5 months ago
- Pure functional programming with whole-program mutability inference☆50Updated last week
- A language built atop the Sparse Synchronous Model☆18Updated 10 months ago
- EGraphs in OCaml☆60Updated 10 months ago