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
  ☆38Updated 2 years ago
• dyaso / klein-ported-to-rust
  Port of Jeremy Ong's SIMD-enabled projective geometric algebra library
  ☆16Updated 4 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 4 years ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆29Updated 2 years ago
• phase / dtt
  dependent type theory experiment
  ☆26Updated last year
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated last month
• zshipko / futhark-bindgen
  A Futhark binding generator for Rust and OCaml
  ☆29Updated last year
• segeljakt / type-theory
  Typed λ-calculus in Rust
  ☆29Updated last year
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated 2 months ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆37Updated 3 years ago
• diku-dk / futhark-vscode
  VS Code extension for Futhark
  ☆14Updated last month
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated 4 months ago
• jsmith628 / wedged
  A robust and generalized library for Geometric Algebra in Rust
  ☆24Updated 2 years ago
• lyphyser / deptypes
  ☆17Updated last year
• BeFunctional / haskell-foreign-rust
  ☆13Updated 2 years ago
• fmease / tylift
  Lift enum variants to the type-level.
  ☆33Updated 4 years ago
• NeoCogi / pfds
  ☆18Updated 8 months ago
• jfecher / golden-tests
  A golden file testing library for rust
  ☆33Updated 3 weeks ago
• advancedresearch / hooo
  Propositional logic with exponentials
  ☆20Updated last month
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated 11 months ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 5 years ago
• diku-dk / futhark-mode
  Emacs major mode for editing Futhark programs
  ☆11Updated 3 weeks ago
• snoyberg / validation-rs
  A Result-like type that can collect multiple Errs
  ☆12Updated 4 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• rust-formal-methods / wg
  ☆22Updated 3 years ago
• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated 2 years ago
• stefan-hoeck / idris2-pack-db
  ☆26Updated this week