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
Sorting:
- Cleaner, clearer JavaScript. A modern scripting language for the Web.☆99Updated 2 years ago
- Building a Parser from scratch☆46Updated 4 years ago
- A simple little programming language that could one day compile to JavaScript☆22Updated 4 months ago
- Bootstrap compiler for Firefly☆54Updated last week
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆29Updated 2 months ago
- Cara language compiler☆45Updated 6 months ago
- Madlib language compiler☆27Updated 4 months ago
- 🎓 Web app to help teach HM type inference☆15Updated 2 weeks ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆63Updated 3 years ago
- CMSC 430 Design and Implementation of Programming Languages☆50Updated 5 months ago
- McLulang: The message is the language☆10Updated 8 months ago
- Statically typed general purpose programming language☆1Updated last year
- A Programming Language built for WebAssembly☆12Updated 3 years ago
- moved to https://codeberg.org/core-lang/core☆54Updated 3 months ago
- An tree-walking interpreter for a subset of the Lox programming language from "Crafting Interpreters" written in OCaml☆13Updated 5 years ago
- Goal: A safe, tiny, flexible, fast compiling, semi-fast running, data-friendly, functional-first language☆97Updated this week
- lambda calculus interpreter☆42Updated 4 years ago
- 🧙♂️A small programming language with static typing and native compilation, selfhosted☆36Updated last week
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 4 months ago
- List of small programming languages that you can implement in a relatively small amount of time for educational purposes.☆107Updated 4 years ago
- Compiler for a very restricted subset of OCaml☆26Updated 9 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 11 months ago
- Modern Compiler Implementation in ML (OCaml)☆7Updated 5 years ago
- ☆27Updated last year
- Smalltalk like programming language☆54Updated this week
- siko☆14Updated last year
- Simple conservative GC using mimalloc☆40Updated 2 years ago
- Admiran compiler, library, and examples☆62Updated this week
- A programming language for rapid application development☆40Updated last week
- A website for the #proglangdesign community on freenode☆108Updated 3 weeks ago