KMahoney / kuljetLinks
The Kuljet language
☆25Updated 9 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☆167Updated 2 months ago
- Plasma Programming Language☆166Updated 7 months ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 5 years ago
- A general purpose statically-typed concatenative programming language.☆55Updated 2 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- WIP stack language that uses regex for control flow☆42Updated 2 years ago
- Ordo: A minimalist language with row polymorphism☆85Updated 7 months ago
- a functional programming language with algebraic effects and handlers☆82Updated 9 months ago
- A purely functional dynamically typed programming language.☆56Updated 4 years ago
- The Makam Metalanguage☆197Updated 2 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆77Updated 5 years ago
- The Egel Programming Language☆83Updated 6 months ago
- A dependent type theory with user defined data types☆47Updated 4 years ago
- The Curly programming language (now in Rust!)☆30Updated 4 years ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆70Updated last year
- Collection of ATS goodness☆34Updated 6 years ago
- A website for the #proglangdesign community on freenode☆112Updated 2 weeks ago
- Ikko language☆26Updated 5 years ago
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated 2 years ago
- Compiler and tooling for the Myte programming language.☆24Updated 2 years ago
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆133Updated 5 years ago
- A custom parser/auto-formatter for Standard ML☆84Updated 3 months ago
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 10 years ago
- Generic package manager for Standard ML libraries and programs☆167Updated 10 months ago
- The Caml Light implementation of the Caml language☆67Updated 2 years ago
- Ideas, documents, and tutorial pile for the Prowl Language☆11Updated last year
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆61Updated last year
- Pointless: a scripting language for learning and fun☆122Updated 2 weeks ago
- Changes and Pinafore projects. Pull requests not accepted.☆33Updated this week
- Nanopass for OCaml☆149Updated 7 years ago