iwillspeak / FirethornLinks
Implementation of Red / Green syntax trees. Inspired by Rowan
☆16Updated 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☆33Updated last year
- A Scheme compiler that targets .NET written in F#☆31Updated 6 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆77Updated 3 years ago
- A simple ML-like programming language with subtyping and full type inference.☆187Updated last year
- A website for the #proglangdesign community on freenode☆112Updated 2 months ago
- Type Inference Library written in TypeScript☆93Updated 2 years ago
- A series of down-to-earth articles on implementing type inference☆164Updated 5 years ago
- 🎓 Web app to help teach HM type inference☆22Updated last month
- siko☆14Updated 2 years ago
- Self-hosting F#-subset compiler☆48Updated 11 months ago
- Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.☆12Updated 3 years ago
- A WIP little dependently-typed systems language☆41Updated last year
- The Egel Programming Language☆83Updated 2 weeks ago
- 🧙♂️A small programming language with static typing and native compilation, selfhosted☆51Updated this week
- A general purpose statically-typed concatenative programming language.☆56Updated 2 years ago
- PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching☆54Updated 8 years ago
- A programming language for one-liner method chain lovers!☆24Updated 2 years ago
- The IntercalScript programming language☆139Updated 5 years ago
- A simple little programming language that could one day compile to JavaScript☆22Updated last year
- Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.☆68Updated last year
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆76Updated last year
- The interpreter for Rhovas, a programming language for API design and enforcement.☆36Updated 5 months ago
- Typeless: the benefits of TypeScript, without the types☆19Updated 2 years ago
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆81Updated this week
- A language with lexical effect handlers and lightweight effect polymorphism☆416Updated last week
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆48Updated last year
- Bootstrap compiler for Firefly☆56Updated last month
- Madlib language compiler☆27Updated last year
- Compiler and tooling for the Myte programming language.☆28Updated 2 years ago
- Learn to code with Wipple.☆38Updated 2 weeks ago