KMahoney / kuljetLinks
The Kuljet language
☆25Updated 10 months ago
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☆168Updated 2 months ago
- Plasma Programming Language☆167Updated 7 months ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 5 years ago
- a functional programming language with algebraic effects and handlers☆82Updated 9 months ago
- A general purpose statically-typed concatenative programming language.☆56Updated 2 years ago
- Ordo: A minimalist language with row polymorphism☆85Updated 8 months ago
- A purely functional dynamically typed programming language.☆56Updated 5 years ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆71Updated last year
- WIP stack language that uses regex for control flow☆42Updated 2 years ago
- The Egel Programming Language☆83Updated last week
- Pointless: a scripting language for learning and fun☆123Updated this week
- Kempe is a compiled stack-based language☆58Updated last year
- PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching☆54Updated 8 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- Ikko language☆26Updated 5 years ago
- The Makam Metalanguage☆198Updated 2 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆77Updated 5 years ago
- The Curly programming language (now in Rust!)☆31Updated 4 years ago
- Collection of ATS goodness☆34Updated 6 years ago
- source code for the bondi programming language☆44Updated 6 years ago
- Nanopass for OCaml☆149Updated 7 years ago
- Changes and Pinafore projects. Pull requests not accepted.☆33Updated this week
- strictly is a declarative programming language for interactive web-components☆10Updated 2 years ago
- The compiler for Keli☆173Updated 6 years ago
- A Pascal to LLVM compiler in Haskell☆124Updated 6 years ago
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated 2 years ago
- Pretty-print error messages of the ATS Compiler☆37Updated 6 years ago
- A small compiler for PCF☆127Updated 5 years ago
- A WIP little dependently-typed systems language☆41Updated last year
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆133Updated 5 years ago