leostera / awesome-alt-langsLinks
Just a list of Awesome Alt Langs to check out
☆101Updated last year
Alternatives and similar repositories for awesome-alt-langs
Users that are interested in awesome-alt-langs are comparing it to the libraries listed below
Sorting:
- Cara language compiler☆50Updated 6 months ago
- Cleaner, clearer JavaScript. A modern scripting language for the Web.☆101Updated 2 years ago
- A functional programming language with shell scripting capabilities☆123Updated 4 months ago
- A general purpose statically-typed concatenative programming language.☆55Updated 2 years ago
- Ordo: A minimalist language with row polymorphism☆85Updated 7 months ago
- RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.☆43Updated 2 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆65Updated 2 weeks ago
- An implementation of interaction nets as a forth-like language.☆36Updated 2 weeks ago
- A declarative concatenative programming language☆168Updated 2 months ago
- 👌 A smol functional language that targets other languages☆66Updated last year
- Translate OCaml bytecode to WebAssembly☆133Updated 10 months ago
- Hotcaml: an interpreter with watching and reloading☆145Updated 3 years ago
- ☆37Updated 4 years ago
- build-once run-anywhere OCaml programs☆139Updated 4 months ago
- language verification, construction, and analysis☆20Updated 3 years ago
- Another attempt to realize my programming language☆23Updated 10 months ago
- The Nox programming language☆31Updated 2 years ago
- Learn Ocaml by reading code examples☆74Updated 2 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆48Updated 11 months ago
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 3 years ago
- Kempe is a compiled stack-based language☆58Updated last year
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆227Updated last year
- Unison Share's backend server☆29Updated last week
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆57Updated 4 months ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- ☆55Updated 4 months ago
- OCaml bindings for Binaryen.☆52Updated 3 weeks ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated last year
- The interpreter for Rhovas, a programming language for API design and enforcement.☆35Updated 3 months ago
- 👾 A Lisp interpreter in Gleam!☆46Updated 8 months ago