Alternatives and similar repositories for Algar

Users that are interested in Algar are comparing it to the libraries listed below

• yvan-sraka / hs-bindgen
  Handy macro to generate C-FFI bindings to Rust for Haskell
  ☆69Updated this week
• fmease / tylift
  Lift enum variants to the type-level.
  ☆33Updated 4 years ago
• procyon-rs / showata
  A library of to show data (in browser, evcxr_jupyter) as table, chart...
  ☆29Updated last month
• plausiblelabs / lens-rs
  Functional lens library for Rust
  ☆107Updated 4 years ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆37Updated 3 years ago
• novacrazy / dual_num
  Dual Number library for Rust
  ☆17Updated 4 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated 2 months ago
• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated 2 years ago
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆57Updated 3 years ago
• lyphyser / deptypes
  ☆17Updated last year
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 4 years ago
• That3Percent / second-stack
  A Rust memory allocator for large slices that don't escape the stack.
  ☆30Updated 2 years ago
• Erk- / genfut
  Generate bindings for Futhark
  ☆38Updated 2 years ago
• yvan-sraka / cargo-cabal
  A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!
  ☆104Updated this week
• rust-formal-methods / wg
  ☆22Updated 3 years ago
• pi-pi3 / julia-rs
  Safe and idiomatic Julia bindings for Rust
  ☆27Updated 2 years ago
• segeljakt / type-theory
  Typed λ-calculus in Rust
  ☆29Updated last year
• TOETOE55 / rovv
  A crate to provide anonymous row type, which fields can be access by lens-rs
  ☆14Updated 4 years ago
• Ferric-AI / ferric
  A Probabilistic Programming Language In Rust
  ☆39Updated 2 years ago
• graninas / type-level-interfaces-in-rust
  Type-level interfaces for type-level design in Rust
  ☆25Updated 4 months ago
• TOETOE55 / lens-rs
  lens implemented in rust
  ☆115Updated 2 years ago
• lsd-ucsc / ChoRus
  🎶 Choreographic programming in Rust 🎶
  ☆57Updated 2 months ago
• snoyberg / routetype-rs
  Strongly typed routes for Rust
  ☆36Updated 3 years ago
• lorepozo / polytype-rs
  A Hindley-Milner polymorphic typing system
  ☆58Updated last year
• rossmacarthur / complexity
  Calculate cognitive complexity of Rust code
  ☆17Updated 4 years ago
• 2bdkid / refinement
  Convenient creation of type-safe refinement types.
  ☆21Updated 10 months ago
• thautwarm / Quick-Backend
  Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master
  ☆24Updated 5 years ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 2 years ago
• zakcutner / rumpsteak
  Session types for asynchronous communication between multiple parties.
  ☆41Updated 10 months ago
• oovm / jupyter-protocol
  Jupyter Kernel Protocol for rust
  ☆13Updated 4 months ago