KMahoney / kuljetLinks
The Kuljet language
☆25Updated last year
Alternatives and similar repositories for kuljet
Users that are interested in kuljet are comparing it to the libraries listed below
Sorting:
- A declarative concatenative programming language☆170Updated 4 months ago
- Plasma Programming Language☆167Updated last week
- Ikko language☆26Updated 5 years ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 5 years ago
- A general purpose statically-typed concatenative programming language.☆56Updated 2 years ago
- a functional programming language with algebraic effects and handlers☆81Updated 11 months ago
- Collection of ATS goodness☆34Updated 6 years ago
- The Curly programming language (now in Rust!)☆31Updated 4 years ago
- PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching☆54Updated 8 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆77Updated 6 years ago
- A pure type system implemented in OCaml☆78Updated 5 years ago
- The Makam Metalanguage☆199Updated 2 years ago
- Changes and Pinafore projects. Pull requests not accepted.☆33Updated 2 weeks ago
- Kempe is a compiled stack-based language☆58Updated last year
- WIP stack language that uses regex for control flow☆42Updated 2 years ago
- Ordo: A minimalist language with row polymorphism☆85Updated last week
- source code for the bondi programming language☆45Updated 6 years ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆78Updated 2 years ago
- A Pascal to LLVM compiler in Haskell☆124Updated 6 years ago
- An ML-like functional programming language☆344Updated 4 years ago
- MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.☆23Updated 2 years ago
- The Egel Programming Language☆83Updated last month
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated 2 years ago
- A purely functional dynamically typed programming language.☆56Updated 5 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated this week
- A website for the #proglangdesign community on freenode☆112Updated 3 months ago
- A nano "theorem prover".☆62Updated 6 years ago
- minimalist pure lazy functional programming language (pythonic haskell)☆79Updated 10 months ago
- The compiler for Keli☆173Updated 6 years ago
- SML reference interpreter☆121Updated 3 months ago