DmitrySoshnikov / eva-tc-sourceLinks
Repository for the "Building a Typechecker from scratch" class
☆15Updated 2 years ago
Alternatives and similar repositories for eva-tc-source
Users that are interested in eva-tc-source are comparing it to the libraries listed below
Sorting:
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas☆345Updated 7 months ago
- Bootstrap compiler for Firefly☆56Updated 3 weeks ago
- A simple little programming language that could one day compile to JavaScript☆22Updated 11 months ago
- Cleaner, clearer JavaScript. A modern scripting language for the Web.☆101Updated 2 years ago
- Simple C Compiler in OCaml☆95Updated 7 years ago
- List of small programming languages that you can implement in a relatively small amount of time for educational purposes.☆113Updated 2 months ago
- A statically-typed variant of Lox, written in TypeScript☆134Updated 2 years ago
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆34Updated 4 months ago
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆69Updated 3 weeks ago
- Madlib language compiler☆27Updated 11 months ago
- Goal: A safe, tiny, flexible, fast compiling, semi-fast running, data-friendly, functional-first language☆96Updated 3 months ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆96Updated 3 years ago
- Lox interpreter written in Lox☆124Updated 4 months ago
- ☆20Updated last year
- Native language with Rust & LLVM☆73Updated 2 years ago
- Reference implementation for Writing a C Compiler☆224Updated 10 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆77Updated 3 years ago
- Learn to code with Wipple.☆38Updated last week
- Building a Parser from scratch☆48Updated 4 years ago
- 🧙♂️A small programming language with static typing and native compilation, selfhosted☆50Updated last week
- Haystack is a compiled, statically typed, stack-based language with opt-in variable assignment.☆25Updated last year
- Kaleidoscope is a toy programming language built from scratch using the LLVM libraries.☆22Updated 5 months ago
- Pocket sized programs☆63Updated last week
- Syntax highlighting for Lox, everyone's favorite interpreted learning-language☆38Updated 2 years ago
- A simple ML-like programming language with subtyping and full type inference.☆183Updated last year
- A compiler for a tiny (but growing!) subset of C, written in OCaml.☆299Updated 3 years ago
- Type Inference Library written in TypeScript☆93Updated 2 years ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆32Updated 2 years ago
- A website for the #proglangdesign community on freenode☆112Updated last month
- The Egel Programming Language☆83Updated last week