iwillspeak / FirethornLinks
Implementation of Red / Green syntax trees. Inspired by Rowan
☆13Updated 11 months ago
Alternatives and similar repositories for Firethorn
Users that are interested in Firethorn are comparing it to the libraries listed below
Sorting:
- Light weight runtime for ReScript☆15Updated last year
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆63Updated 3 years ago
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆26Updated this week
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- A Scheme compiler that targets .NET written in F#☆28Updated 11 months ago
- 🎓 Web app to help teach HM type inference☆16Updated last month
- language verification, construction, and analysis☆20Updated 3 years ago
- ☆14Updated 7 months ago
- A toy programming language which is a subset of OCaml.☆51Updated last week
- ReactiveML: a programming language for implementing interactive systems.☆20Updated 2 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 2 years ago
- Statically typed general purpose programming language☆1Updated last year
- Standard ML (SML) grammar for tree-sitter☆15Updated 2 weeks ago
- 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☆32Updated 4 months ago
- Semantic analysis framework☆14Updated 3 years ago
- Game of life in MoonBit☆19Updated last month
- Self-hosting F#-subset compiler☆47Updated 3 months ago
- Poor man's algebraic effects for TypeScript (PoC); next -> https://github.com/susisu/effectful☆23Updated 2 years ago
- Beautifier for S-expression, mainly for WAT☆11Updated 5 years ago
- Type Inference Library written in TypeScript☆93Updated 2 years ago
- Standard ML Grammar for Tree-sitter☆24Updated 3 years ago
- RFCs of MoonBit lang☆17Updated last year
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆40Updated 5 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated last month
- programming with second class references☆24Updated last week
- Simple conservative GC using mimalloc☆40Updated 2 years ago
- A compile-to-JavaScript language with tight TypeScript integration.☆22Updated last year
- Jacy programming language☆13Updated 3 years ago
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆32Updated 2 years ago