Your favourite Haskell type classes for Rust
☆268Apr 13, 2023Updated 3 years ago
Alternatives and similar repositories for higher
Users that are interested in higher are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Assorted immutable collection datatypes for Rust☆1,583Aug 19, 2024Updated 2 years ago
- Haskell-style monads in Rust.☆27May 25, 2023Updated 3 years ago
- Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.☆1,461Aug 1, 2026Updated 3 months ago
- Purely functional data structures in Typescript☆14Jul 15, 2020Updated 6 years ago
- Lambda calculus at the type level.☆20Jul 22, 2017Updated 9 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Algebraic structures, higher-kinded types and other category theory bad ideas☆29Mar 31, 2023Updated 3 years ago
- Rust doesn't have exceptions☆630Aug 17, 2020Updated 6 years ago
- Algebraic effects for Rust☆676Jun 30, 2024Updated 2 years ago
- Elm style FRP library for PureScript☆260Apr 30, 2022Updated 4 years ago
- ☆56Feb 25, 2020Updated 6 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Aug 16, 2020Updated 6 years ago
- Seamless Higher-Kinded Types in Rust☆90Jan 15, 2023Updated 3 years ago
- A library for functional programming in Rust☆1,440Mar 12, 2026Updated 7 months ago
- A tagged unions code generation library for discriminating tastes☆43Sep 10, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Presentation on using React Spectacle via Pux & PureScript☆12Oct 29, 2016Updated 10 years ago
- Optics as an abstract interface☆389Oct 31, 2026Updated last week
- PureScript implementation of lens☆78Oct 3, 2020Updated 6 years ago
- Rust serializer library☆92Aug 16, 2026Updated 2 months ago
- A declarative desktop UI framework for Rust built on GTK and Gtk-rs☆1,049Feb 16, 2022Updated 4 years ago
- An asynchronous unit test runner for PureScript☆90Sep 3, 2022Updated 4 years ago
- Refinement Types for Rust☆936Updated this week
- Macro to use rust IntoIterator as a monad with haskell like syntax☆28Dec 29, 2019Updated 6 years ago
- Automated property based testing for Rust (with shrinking).☆2,804Apr 3, 2026Updated 7 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Compositional Representable Executable Machines☆127Jul 9, 2026Updated 3 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆2,023Oct 12, 2026Updated 3 weeks ago
- A circuit breaker implementation for rust☆208Jul 16, 2024Updated 2 years ago
- A dependently typed programming language, a successor to Idris☆889Aug 11, 2020Updated 6 years ago
- A hooks library for purescript-halogen☆16Sep 1, 2021Updated 5 years ago
- A library for to allow multiple return types by automatically generated enum.☆380Oct 10, 2026Updated 3 weeks ago
- Types and kinds for basic type-level programming☆65Oct 18, 2026Updated 3 weeks ago
- HM type system on a very restricted subset of JS☆13May 13, 2018Updated 8 years ago
- ☆155Nov 9, 2019Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Asynchronous byte buffers and pipes for concurrent I/O programming.☆103Apr 14, 2026Updated 6 months ago
- Runtime for executing procedural macros as WebAssembly☆1,534Jul 19, 2026Updated 3 months ago
- Don't look, I'm just playing with a B+-tree implementation which may or may not turn into a PALM tree.☆26Jul 19, 2020Updated 6 years ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆3,019Updated this week
- Write "Concurrency" section of "A Tour of Go" in Haskell☆129Oct 15, 2018Updated 8 years ago
- Combine a reader + writer into a duplex of Read + Write☆42Oct 15, 2020Updated 6 years ago
- higher-order, no-boilerplate monads☆1,076Oct 10, 2026Updated 3 weeks ago