DmitrySoshnikov / eva-tc-source
Repository for the "Building a Typechecker from scratch" class
☆11Updated last year
Related projects ⓘ
Alternatives and complementary repositories for eva-tc-source
- Cleaner, clearer JavaScript. A modern scripting language for the Web.☆101Updated last year
- Bootstrap compiler for Firefly☆50Updated last week
- ☆27Updated last year
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆25Updated 2 months ago
- A general purpose statically-typed concatenative programming language.☆51Updated last year
- 👾 A Lisp interpreter in Gleam!☆33Updated 8 months ago
- Cara language compiler☆41Updated last month
- A WIP little dependently-typed systems language☆37Updated 3 months ago
- A garden of small programming language implementations 🪴☆177Updated last week
- siko☆14Updated 10 months ago
- Ahnfelt's Type Inference by Example but implemented in Gleam☆12Updated last year
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆55Updated 2 years ago
- A systems programming language with lexical effect handlers☆13Updated last month
- List of small programming languages that you can implement in a relatively small amount of time for educational purposes.☆105Updated 3 years ago
- A collection of programming languages and type systems.☆33Updated 3 months ago
- A small toy language with syntax heavily inspired by Lua that transpiles to JS.☆18Updated last year
- Haystack is a compiled, statically typed, stack-based language with opt-in variable assignment.☆25Updated 6 months ago
- Learn to code with Wipple.☆34Updated last month
- ☆27Updated last month
- A toy programming language.☆37Updated 10 months ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆30Updated 3 weeks ago
- Goal: A safe, tiny, flexible, fast compiling, semi-fast running, data-friendly, functional-first language☆97Updated last month
- I refer you to the name of the repository☆25Updated 11 months ago
- 🎓 Web app to help teach HM type inference☆10Updated this week
- Statically typed general purpose programming language☆0Updated 7 months ago
- The ponylang.io website☆81Updated this week
- General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™☆41Updated last year
- Experiments in building "better" languages and tools; for some measure of better.☆192Updated this week
- Hindley–Milner Type inferencing in C☆48Updated 2 years ago
- Simple conservative GC using mimalloc☆38Updated 2 years ago