Alternatives and similar repositories for cargo-futhark

Users that are interested in cargo-futhark are comparing it to the libraries listed below

• Erk- / genfut
  Generate bindings for Futhark
  ☆39Updated 2 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆132Updated 2 years ago
• ekzhang / ukanren-rs
  Rust implementation of µKanren, a featherweight relational programming language.
  ☆115Updated 2 years ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆77Updated 3 months ago
• aslpavel / fingertree-rs
  FingerTree implemented in rust
  ☆27Updated last year
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆62Updated 2 years ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆50Updated 3 years ago
• lorepozo / polytype-rs
  A Hindley-Milner polymorphic typing system
  ☆60Updated last year
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆71Updated last year
• eqlog / eqlog
  Datalog with equality for rust
  ☆71Updated last week
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆53Updated 7 months ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆40Updated 4 years ago
• Marwes / pretty.rs
  Wadler-style pretty-printing combinators in Rust
  ☆171Updated last month
• strtok / marwood
  An embeddable Scheme R7 Compiler & Runtime written in Rust
  ☆105Updated 5 months ago
• lyphyser / deptypes
  ☆16Updated last year
• fmease / tylift
  Lift enum variants to the type-level.
  ☆32Updated 4 years ago
• SparkyPotato / yam
  A low level, expressive language
  ☆13Updated 10 months ago
• naalit / pika
  A WIP little dependently-typed systems language
  ☆41Updated last year
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆45Updated last year
• raviqqe / stak
  The miniature, embeddable R7RS Scheme implementation in Rust
  ☆107Updated last week
• plausiblelabs / lens-rs
  Functional lens library for Rust
  ☆109Updated 4 years ago
• linkdd / letlang
  Functional language with a powerful type system.
  ☆172Updated last year
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 4 years ago
• JDemler / BidirectionalTypechecking
  Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
  ☆117Updated 6 years ago
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆30Updated 3 years ago
• playXE / rsgc
  ☆21Updated 2 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆61Updated last week
• P-bibs / skiff
  A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!
  ☆31Updated 3 years ago
• thunderseethe / making-a-language
  Full Source Code for Making a Language series
  ☆52Updated 4 months ago