luleyleo / cargo-futharkLinks
Futhark integration for Rust projects
☆14Updated last month
Alternatives and similar repositories for cargo-futhark
Users that are interested in cargo-futhark are comparing it to the libraries listed below
Sorting:
- Generate bindings for Futhark☆39Updated 2 years ago
- Macros have types!☆132Updated 2 years ago
- Rust implementation of µKanren, a featherweight relational programming language.☆115Updated 2 years ago
- Pure functional programming with whole-program mutability inference☆77Updated 3 months ago
- FingerTree implemented in rust☆27Updated last year
- hindley-milner algorithm☆62Updated 2 years ago
- Exploring the "expression problem" in Rust☆50Updated 3 years ago
- A Hindley-Milner polymorphic typing system☆60Updated last year
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆71Updated last year
- Datalog with equality for rust☆71Updated last week
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆53Updated 7 months ago
- Experimental type level programming in Rust☆40Updated 4 years ago
- Wadler-style pretty-printing combinators in Rust☆171Updated last month
- An embeddable Scheme R7 Compiler & Runtime written in Rust☆105Updated 5 months ago
- ☆16Updated last year
- Lift enum variants to the type-level.☆32Updated 4 years ago
- A low level, expressive language☆13Updated 10 months ago
- A WIP little dependently-typed systems language☆41Updated last year
- Performance comparisons between various virtual interpreter implementation strategies☆45Updated last year
- The miniature, embeddable R7RS Scheme implementation in Rust☆107Updated last week
- Functional lens library for Rust☆109Updated 4 years ago
- Functional language with a powerful type system.☆172Updated last year
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆117Updated 6 years ago
- ☆119Updated last year
- Liquid Types implementation for Rust☆30Updated 3 years ago
- ☆21Updated 2 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆61Updated last week
- A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!☆31Updated 3 years ago
- Full Source Code for Making a Language series☆52Updated 4 months ago