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 6 years ago
- Kempe is a compiled stack-based language☆58Updated last year
- Cleaner, clearer JavaScript. A modern scripting language for the Web.☆101Updated 2 years ago
- Cara language compiler☆50Updated 8 months ago
- A hackable notes-spreadsheet-hybrid for programmers☆16Updated 2 months ago
- The simplest interface I'm able to come up with to elm-compiler, supporting executing in javascript☆19Updated 5 years ago
- ☆37Updated 4 years ago
- ☆71Updated 3 years ago
- Compiler for Elm, a functional language for reliable webapps.☆38Updated 4 years ago
- 👌 A smol functional language that targets other languages☆66Updated 2 years ago
- A safe and efficient target language for functional compilers☆20Updated 7 years ago
- The Yatima Standard Library☆20Updated 2 years ago
- A minimal pure functional language based on self dependent types.☆73Updated 3 years ago
- Awelon project is a new UI model with a new language.☆106Updated 10 years ago
- Decode keyboard events in Elm☆22Updated 3 years ago
- Implementation of "practical type inference for arbitrary-rank types" in Javascript☆12Updated 6 years ago
- 🐘 Use PostgreSQL databases from Roc☆53Updated 7 months ago
- Advent of Code in Roc☆14Updated 3 years ago
- Safely running potentially non-terminating functions in Elm.☆10Updated 4 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
- Pratt / Top-Down Operator Precedence parsing for elm/parser☆26Updated 5 years ago
- Roc Build Tool☆49Updated 3 years ago
- small programming language. pls be gentle.☆39Updated this week
- A simple Parser for Roc☆31Updated last year
- Ordo: A minimalist language with row polymorphism☆85Updated this week
- Just a list of Awesome Alt Langs to check out☆102Updated last year
- ECMAScript derived programming language☆68Updated 10 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated 2 years ago
- Dawn Phase 1 proto-language☆37Updated 4 years ago
- An interpreter for a small ML-ish language☆11Updated 8 years ago