zachgk / catln
A high-level programming language
☆36Updated this week
Related projects ⓘ
Alternatives and complementary repositories for catln
- Changes and Pinafore projects. Pull requests not accepted.☆32Updated 3 weeks ago
- A general purpose statically-typed concatenative programming language.☆51Updated last year
- A WIP little dependently-typed systems language☆37Updated 3 months ago
- Kempe is a compiled stack-based language☆58Updated last month
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆62Updated 5 months ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆65Updated 9 months ago
- A pure type system implemented in OCaml☆77Updated 3 years ago
- a functional programming language with algebraic effects and handlers☆81Updated 2 years ago
- Pocket sized programs☆54Updated last week
- A declarative concatenative programming language☆158Updated last month
- A programming language somewhat resembling cellular processes.☆33Updated 2 years ago
- WIP stack language that uses regex for control flow☆40Updated last year
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆25Updated 2 years ago
- PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching☆53Updated 7 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆53Updated 7 months ago
- A compiler and runtime for normalizing the untyped λ-calculus☆30Updated 2 years ago
- A bidirectional type checker☆57Updated 7 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆55Updated 2 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 5 months ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆30Updated 4 years ago
- A dependent type theory with user defined data types☆45Updated 3 years ago
- A toy programming language.☆37Updated 10 months ago
- An experimental language server for SomewhatML☆24Updated last year
- A minimal pure functional language based on self dependent types.☆72Updated 2 years ago
- Apple array system☆54Updated this week
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆27Updated 7 years ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆44Updated this week