pikelet-lang / pikeletLinks
A friendly little systems language with first-class types. Very WIP! π§ π§ π§
β618Updated 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 fast functional language based on two level type theoryβ390Updated 2 years ago
- You might not need your garbage collectorβ543Updated 5 years ago
- A pure functional language for type-level programming in Rustβ330Updated 2 years ago
- Compiler for the Mirth programming language.β466Updated last week
- Functional programming with fewer indirectionsβ765Updated 4 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.β1,042Updated 2 years ago
- Dependent type checker using normalisation by evaluationβ260Updated 8 months ago
- A simple ML-like programming language with subtyping and full type inference.β173Updated 6 months ago
- A programming language with static memory management based on Ξ»-calculusβ1,003Updated this week
- 1ML prototype interpreterβ282Updated 4 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoningβ617Updated 3 weeks ago
- A mostly functional haskell compiler written in rustβ316Updated last year
- A dependently typed programming language, a successor to Idrisβ899Updated 4 years ago
- π§ (Alpha stage software) A declarative data definition language for formally specifying binary data formats. π§β263Updated last year
- Minimal implementations for dependent type checking and elaborationβ673Updated this week
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminationsβ379Updated last year
- Frank compilerβ291Updated last year
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraiβ¦β1,117Updated 2 months ago
- Demo for high-performance type theory elaborationβ554Updated last year
- A compiler for Standard ML, somewhatβ202Updated 3 years ago
- A language with lexical effect handlers and lightweight effect polymorphismβ361Updated this week
- Datalog compiler embedded in Rust as a procedural macroβ473Updated last year
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"β111Updated 6 years ago
- Counterexamples in Type Systemsβ395Updated last year
- A small extensible programming language designed for concise expression with little code.β1,073Updated 8 months ago
- An insanely simple self-hosted functional programming languageβ155Updated 5 years ago
- Alternative algorithm for algebraic subtyping.β161Updated 3 weeks ago
- Forth for Rust's trait systemβ230Updated 4 years ago
- Proving leftpad correct two-dozen different waysβ674Updated last month
- A declarative concatenative programming languageβ164Updated 7 months ago