forest-lang / notesLinks
Notes from my research for forest-lang
☆12Updated 3 years ago
Alternatives and similar repositories for notes
Users that are interested in notes are comparing it to the libraries listed below
Sorting:
- Bidirectional type checker for the simply typed lambda calculus☆15Updated 5 years ago
- Kempe is a compiled stack-based language☆58Updated 11 months ago
- A hackable notes-spreadsheet-hybrid for programmers☆16Updated 10 months ago
- Just a list of Awesome Alt Langs to check out☆102Updated last year
- A minimal pure functional language based on self dependent types.☆73Updated 3 years ago
- language verification, construction, and analysis☆20Updated 3 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated last year
- Cleaner, clearer JavaScript. A modern scripting language for the Web.☆100Updated 2 years ago
- ☆37Updated 3 years ago
- Implementation of "practical type inference for arbitrary-rank types" in Javascript☆12Updated 6 years ago
- An interpreter for a small ML-ish language☆11Updated 7 years ago
- Cara language compiler☆45Updated 3 months ago
- Proposal to add tail calls to WebAssembly☆114Updated 6 months ago
- Dawn Phase 1 proto-language☆37Updated 4 years ago
- A WIP little dependently-typed systems language☆41Updated last year
- Ordo: A minimalist language with row polymorphism☆85Updated 4 months ago
- ☆69Updated 2 years ago
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 3 years ago
- 👌 A smol functional language that targets other languages☆64Updated last year
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- A safe and efficient target language for functional compilers☆20Updated 7 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆56Updated 3 weeks ago
- ECMAScript derived programming language☆68Updated 10 years ago
- Awelon project is a new UI model with a new language.☆107Updated 9 years ago
- (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript☆32Updated 2 years ago
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- Fungi: Typed incremental computation with names☆70Updated 5 years ago
- Formality in itself☆20Updated 4 years ago
- The Yatima Standard Library☆20Updated last year
- Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"☆79Updated last year