DmitrySoshnikov / eva-tc-sourceLinks
Repository for the "Building a Typechecker from scratch" class
☆14Updated last year
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:
- Cleaner, clearer JavaScript. A modern scripting language for the Web.☆98Updated 2 years ago
- Building a Parser from scratch☆46Updated 4 years ago
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆29Updated last month
- List of small programming languages that you can implement in a relatively small amount of time for educational purposes.☆110Updated 4 years ago
- Madlib language compiler☆27Updated 6 months ago
- Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda☆63Updated this week
- Bootstrap compiler for Firefly☆55Updated this week
- Haystack is a compiled, statically typed, stack-based language with opt-in variable assignment.☆25Updated last year
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆69Updated 3 years ago
- 🎓 Web app to help teach HM type inference☆16Updated 2 months ago
- McLulang: The message is the language☆11Updated 10 months ago
- moved to https://codeberg.org/core-lang/core☆52Updated 5 months ago
- A statically-typed variant of Lox, written in TypeScript☆129Updated 2 years ago
- Just a list of Awesome Alt Langs to check out☆101Updated last year
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- The Egel Programming Language☆84Updated last month
- An implementation of interaction nets as a forth-like language.☆34Updated 2 months ago
- Simple C Compiler in OCaml☆94Updated 7 years ago
- The interpreter for Rhovas, a programming language for API design and enforcement.☆33Updated 9 months ago
- ☆26Updated last year
- A Programming Language built for WebAssembly☆12Updated 3 years ago
- A collection of programming languages and type systems.☆33Updated 2 months ago
- Smalltalk like programming language☆60Updated this week
- A simple little programming language that could one day compile to JavaScript☆22Updated 6 months ago
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas☆329Updated 2 months ago
- 🧙♂️A small programming language with static typing and native compilation, selfhosted☆44Updated this week
- Cara language compiler☆45Updated last month
- A functional programming language with shell scripting capabilities☆117Updated this week
- Compiler for a very restricted subset of OCaml☆26Updated 9 years ago
- Fir programming language☆64Updated this week