iwillspeak / FirethornLinks
Implementation of Red / Green syntax trees. Inspired by Rowan
☆14Updated last year
Alternatives and similar repositories for Firethorn
Users that are interested in Firethorn are comparing it to the libraries listed below
Sorting:
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 5 months ago
- A Scheme compiler that targets .NET written in F#☆28Updated 3 weeks ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆68Updated 3 years ago
- A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code☆27Updated 2 years ago
- ReactiveML: a programming language for implementing interactive systems.☆20Updated 2 years ago
- A frontend for the 1111 stable diffusion API☆17Updated 3 weeks ago
- The Nox programming language☆30Updated last year
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆40Updated 6 months ago
- A WIP little dependently-typed systems language☆41Updated 10 months ago
- Source code with tasks from my "Write your own tiny programming system(s)!" course at Charles University. Follow the link below to watch…☆42Updated last year
- A pure OCaml library for manipulating colors in different color spaces.☆21Updated last year
- Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.☆57Updated 6 years ago
- Hindley Milner Type Inference in Rust☆12Updated 7 years ago
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- OCaml plus Jane Street extensions☆74Updated 11 months ago
- Standard ML (SML) grammar for tree-sitter☆15Updated last month
- Light weight runtime for ReScript☆15Updated 2 years ago
- Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda☆63Updated 2 weeks ago
- Self-hosting F#-subset compiler☆47Updated 4 months ago
- Match compilation algorithm in OCaml☆27Updated 4 months ago
- language verification, construction, and analysis☆20Updated 3 years ago
- 🎓 Web app to help teach HM type inference☆16Updated 2 months ago
- Experiments with higher-kinded types and object algebras in C#☆38Updated 5 years ago
- OCaml bindings for RE2☆47Updated last month
- Prototype for https://github.com/Innf107/vega☆19Updated 11 months ago
- programming with second class references☆25Updated 2 weeks ago
- OCaml bindings for Binaryen.☆50Updated last month
- The Windows-friendly distribution of OCaml☆62Updated 9 months ago
- A simple monadic parser combinator library for OCaml☆67Updated 2 years ago
- An interpreter of F-ing modules☆19Updated 6 years ago