marcopennekamp / lore
Lore is a general-purpose programming language featuring multi-functions, structs and traits, a static type system with sum and intersection types, and a mix of functional and imperative programming.
☆18Updated last year
Alternatives and similar repositories for lore:
Users that are interested in lore are comparing it to the libraries listed below
- A newborn programming language for extensible software☆16Updated 3 years ago
- The Stroscot Programming Language☆13Updated last year
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 8 months ago
- An esoteric RPN golfing language☆23Updated 2 years ago
- ☆29Updated 4 months ago
- A minimalist / functional / dataflow programming language☆13Updated 9 months ago
- Kempe is a compiled stack-based language☆58Updated 4 months ago
- Changes and Pinafore projects. Pull requests not accepted.☆33Updated 2 weeks ago
- Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.☆11Updated 2 years ago
- ☆12Updated 3 months ago
- The interpreter for Rhovas, a programming language for API design and enforcement.☆28Updated 4 months ago
- Statically typed, high-level functional programming language.☆16Updated 3 years ago
- A hypothetical message-based programming language inspired by Smalltalk, Self, Erlang, Clojure and sci-fi and biology.☆21Updated 3 years ago
- purple: compiling a reflective language☆32Updated 4 months ago
- Jacy programming language☆13Updated 2 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated last month
- An experimental language server for SomewhatML☆24Updated 2 years ago
- A high-level programming language☆38Updated 3 weeks ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 4 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- Standard ML compiler based on typed intermediate languages.☆47Updated 10 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆36Updated 2 months ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- A compiler, testing bed, and standard library for the Choral programming language.☆26Updated last month
- Tools for MIL, a Monadic Intermediate Language☆21Updated 5 months ago
- The Plaid Programming Language Tools☆11Updated 9 years ago
- a functional programming language with algebraic effects and handlers☆81Updated 2 years ago