valmirjunior0088 / curiosLinks
Work-in-progress functional dependently typed programming language
☆29Updated 2 years ago
Alternatives and similar repositories for curios
Users that are interested in curios are comparing it to the libraries listed below
Sorting:
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆117Updated 6 years ago
- A Peer-to-Peer Operating System☆36Updated 6 years ago
- Specification of the Formality proof and programming language☆41Updated 2 years ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- Typed λ-calculus in Rust☆29Updated 2 years ago
- Provides a Refl encoding in Rust☆68Updated 2 years ago
- Ordo: A minimalist language with row polymorphism☆85Updated 6 months ago
- Type-Level Programming in Rust☆28Updated 3 years ago
- A TOML parser for Idris 2☆16Updated last year
- ☆35Updated 7 years ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆71Updated 8 years ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆98Updated 3 years ago
- Package manager for Idris☆37Updated 3 years ago
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.☆44Updated 9 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆53Updated 6 months ago
- Macros have types!☆131Updated 2 years ago
- An implementation of the Formality language in JavaScript☆71Updated 6 years ago
- Session Type EDSL for Rust☆103Updated 3 years ago
- Collection of Kind2 programs and proofs☆12Updated last year
- 👌 A smol functional language that targets other languages☆64Updated last year
- A Haskell implementation of the Formality language☆18Updated 5 years ago
- A Hindley-Milner polymorphic typing system☆59Updated last year
- Handy macro to generate C-FFI bindings to Rust for Haskell☆69Updated last week
- Pure functional programming with whole-program mutability inference☆76Updated 2 months ago
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆18Updated last month
- Inigo: A Package Manager for Idris2☆62Updated 2 years ago
- Exploring the "expression problem" in Rust☆50Updated 3 years ago
- a functional programming language with algebraic effects and handlers☆82Updated 7 months ago
- A functional scripting language.☆17Updated 8 months ago
- Absal ex☆58Updated 2 years ago