DmitrySoshnikov / eva-tc-source
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
- 🧙♂️A small programming language with static typing and native compilation, selfhosted☆36Updated last month
- Madlib language compiler☆27Updated 3 months ago
- Bootstrap compiler for Firefly☆53Updated this week
- A general purpose statically-typed concatenative programming language.☆54Updated last year
- Cara language compiler☆43Updated 6 months ago
- Cleaner, clearer JavaScript. A modern scripting language for the Web.☆99Updated last year
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆60Updated 3 years ago
- Goal: A safe, tiny, flexible, fast compiling, semi-fast running, data-friendly, functional-first language☆97Updated this week
- A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code☆27Updated 2 years ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆31Updated 3 months ago
- A WIP little dependently-typed systems language☆41Updated 8 months ago
- Statically typed general purpose programming language☆1Updated last year
- Native language with Rust & LLVM☆69Updated last year
- A hobby programming language☆37Updated this week
- Building a Parser from scratch☆46Updated 4 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 10 months ago
- A simple ML-like programming language with subtyping and full type inference.☆172Updated 4 months ago
- Compiler for a very restricted subset of OCaml☆26Updated 9 years ago
- 🎓 Web app to help teach HM type inference☆14Updated 3 weeks ago
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆29Updated last month
- A garden of small programming language implementations 🪴☆221Updated this week
- moved to https://codeberg.org/core-lang/core☆54Updated 2 months ago
- The Nox programming language☆29Updated last year
- McLulang: The message is the language☆10Updated 8 months ago
- An implementation of the Lox language in Racket.☆33Updated last year
- An implementation of interaction nets as a forth-like language.☆31Updated this week
- Smalltalk like programming language☆52Updated this week
- WIP stack language that uses regex for control flow☆42Updated last year
- List of small programming languages that you can implement in a relatively small amount of time for educational purposes.☆107Updated 4 years ago
- An menu/quick reference for Programming Language concepts☆20Updated last year