pikelet-lang / pikeletLinks
A friendly little systems language with first-class types. Very WIP! π§ π§ π§
β625Updated 4 years ago
Alternatives and similar repositories for pikelet
Users that are interested in pikelet are comparing it to the libraries listed below
Sorting:
- A simple ML-like programming language with subtyping and full type inference.β180Updated 10 months ago
- Functional programming with fewer indirectionsβ771Updated 5 years ago
- You might not need your garbage collectorβ542Updated 5 years ago
- A pure functional language for type-level programming in Rustβ336Updated 2 years ago
- A fast functional language based on two level type theoryβ391Updated 2 years ago
- A mostly functional haskell compiler written in rustβ320Updated last year
- Demo for high-performance type theory elaborationβ568Updated last year
- Dependent type checker using normalisation by evaluationβ269Updated last year
- π§ (Alpha stage software) A declarative data definition language for formally specifying binary data formats. π§β266Updated 2 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoningβ634Updated last week
- A programming language with static memory management based on Ξ»-calculusβ1,006Updated 2 weeks ago
- Compiler for the Mirth programming language.β478Updated 5 months ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.β1,053Updated 4 months ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraiβ¦β1,145Updated 7 months ago
- 1ML prototype interpreterβ288Updated 5 years ago
- Minimal implementations for dependent type checking and elaborationβ734Updated 2 months ago
- An insanely simple self-hosted functional programming languageβ160Updated 6 years ago
- A series of down-to-earth articles on implementing type inferenceβ159Updated 5 years ago
- Frank compilerβ300Updated last year
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"β117Updated 6 years ago
- A compiler for Standard ML, somewhatβ203Updated 3 years ago
- A language with lexical effect handlers and lightweight effect polymorphismβ400Updated this week
- Dora VMβ505Updated this week
- A dependently typed programming language, a successor to Idrisβ900Updated 5 years ago
- Rust implementation of the projects from the book Modern Compiler Implementation in MLβ145Updated 4 months ago
- The IntercalScript programming languageβ139Updated 5 years ago
- A small extensible programming language designed for concise expression with little code.β1,080Updated last year
- An ML-like functional programming languageβ337Updated 4 years ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminationsβ384Updated 2 years ago
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compileβ¦β107Updated 2 months ago