Ahnfelt / funk
PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching
☆53Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for funk
- A general purpose statically-typed concatenative programming language.☆51Updated last year
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆65Updated 9 months ago
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆129Updated 4 years ago
- A simple ML-like programming language with subtyping and full type inference.☆161Updated 5 months ago
- A declarative concatenative programming language☆159Updated 2 weeks ago
- WIP stack language that uses regex for control flow☆41Updated last year
- ☆89Updated 3 years ago
- Hindley-Milner type inference using constraints☆50Updated 7 years ago
- Bootstrap compiler for Firefly☆51Updated this week
- Ordo: A minimalist language with row polymorphism☆80Updated 3 months ago
- Kempe is a compiled stack-based language☆58Updated last month
- Dependent type checker using normalisation by evaluation☆254Updated 2 months ago
- A pure type system implemented in OCaml☆77Updated 3 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆30Updated 3 months ago
- Plasma Programming Language☆162Updated 2 months ago
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated last year
- A WIP little dependently-typed systems language☆37Updated 2 months ago
- Alternative algorithm for algebraic subtyping.☆149Updated last week
- a functional programming language with algebraic effects and handlers☆81Updated 2 years ago
- The IntercalScript programming language☆133Updated 4 years ago
- A website for the #proglangdesign community on freenode☆109Updated last week
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆68Updated 7 years ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆92Updated 2 years ago
- Macros have types!☆130Updated last year
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆281Updated 10 years ago
- Implementation of "practical type inference for arbitrary-rank types" in Javascript☆10Updated 5 years ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆106Updated 7 years ago
- Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust☆45Updated 8 years ago
- A bidirectional type checker☆57Updated 7 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago