leostera / awesome-alt-langs
Just a list of Awesome Alt Langs to check out
☆98Updated 11 months ago
Alternatives and similar repositories for awesome-alt-langs:
Users that are interested in awesome-alt-langs are comparing it to the libraries listed below
- Cara language compiler☆42Updated 4 months ago
- Ahnfelt's Type Inference by Example but implemented in Gleam☆12Updated last year
- Ordo: A minimalist language with row polymorphism☆82Updated 8 months ago
- 👌 A smol functional language that targets other languages☆62Updated last year
- Cleaner, clearer JavaScript. A modern scripting language for the Web.☆99Updated last year
- All kinds of Roc examples☆35Updated this week
- A general purpose statically-typed concatenative programming language.☆53Updated last year
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆38Updated 3 months ago
- A functional programming language with shell scripting capabilities☆114Updated 2 months ago
- Kempe is a compiled stack-based language☆58Updated 5 months ago
- ☆36Updated 3 years ago
- 👾 A Lisp interpreter in Gleam!☆35Updated last year
- Build wasm4 games using Roc☆49Updated 4 months ago
- The interpreter for Rhovas, a programming language for API design and enforcement.☆28Updated 5 months ago
- language verification, construction, and analysis☆20Updated 2 years ago
- The Nox programming language☆29Updated last year
- Unison Share's backend server☆24Updated this week
- Translate OCaml bytecode to WebAssembly☆130Updated 2 months ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆79Updated 5 months ago
- small programming language. pls be gentle.☆39Updated last month
- Parser Combinators of Monad☆35Updated 4 years ago
- OCaml bindings for Binaryen.☆49Updated last week
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- Haskell In New Clothes☆111Updated 4 years ago
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 5 years ago
- A declarative concatenative programming language☆164Updated 4 months ago
- Plasma Programming Language☆167Updated last month
- The OCaml-Canvas library provides a portable Canvas for OCaml☆59Updated 8 months ago