rickBuczynski / coolang
COOL (Classroom Object Oriented Language) compiler with LLVM backend
☆34Updated 5 years ago
Alternatives and similar repositories for coolang:
Users that are interested in coolang are comparing it to the libraries listed below
- Sinister's Scheme Compiler!☆24Updated 2 years ago
- simple snapshot-style integration testing for commands☆70Updated 8 months ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆92Updated 3 years ago
- Compiler Optimizations Playground☆27Updated 4 years ago
- Simple conservative GC using mimalloc☆39Updated 2 years ago
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆61Updated 3 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 9 months ago
- A small λ-calculus interpreter in C☆50Updated 10 years ago
- A work-in-progess programming language modeled after Ada and C++☆25Updated 2 years ago
- Bottom Up Rewrite Generator☆25Updated 7 years ago
- ☆59Updated this week
- The Silk Programming Language☆79Updated 3 years ago
- Parallel ML compiler☆72Updated 4 years ago
- Hindley–Milner Type inferencing in C☆48Updated 2 years ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- This repository accompanies Bolt - includes the accompanying dissertation.☆41Updated 4 years ago
- MimIR is my Intermediate Representation☆61Updated this week
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆24Updated last year
- Simple C Compiler in OCaml☆92Updated 6 years ago
- ☆47Updated 4 years ago
- The Higher-Order Intermediate Representation☆154Updated last month
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- The Egel Programming Language☆84Updated last week
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 years ago
- loxi - a Lox interpreter☆33Updated 7 years ago
- CMSC 430 Design and Implementation of Programming Languages☆49Updated 3 months ago
- J Language Source Code. Livestream links ⬇️☆38Updated 2 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago