A set of typeclasses and effects for Rust similar to those provided by Cats for Scala
☆26Aug 24, 2020Updated 5 years ago
Alternatives and similar repositories for rust-effects
Users that are interested in rust-effects are comparing it to the libraries listed below
Sorting:
- Small HTTP web server with a simple backend, implemented using typelevel libraries (cats, http4s, doobie, circe, etc.) and packaged via d…☆14Jan 24, 2021Updated 5 years ago
- A tiny javascript cat that you can easily run on any page.☆15Oct 25, 2019Updated 6 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- Type-Level Programming in Rust☆27Dec 29, 2021Updated 4 years ago
- A prototype of my proposed name resolution algorithm for Rust.☆13Nov 24, 2015Updated 10 years ago
- Garbage collector implementation in Rust for Rust☆13Aug 30, 2020Updated 5 years ago
- A simple prolog implementation in Rust☆26Nov 14, 2020Updated 5 years ago
- strictly is a declarative programming language for interactive web-components☆10Dec 2, 2023Updated 2 years ago
- An implementation of a CQRS/ES system using functional FP in scala.☆11Mar 26, 2018Updated 7 years ago
- 'Transfer' is to 'move' what 'Clone' is to 'copy'☆12Oct 13, 2019Updated 6 years ago
- Example usage of state monad from cats and comparison with implementation of logic in actors☆13May 12, 2019Updated 6 years ago
- ☆11Jun 6, 2022Updated 3 years ago
- Atmosphere and planet rendering playground.☆25Jan 4, 2026Updated last month
- Statically typed, high-level functional programming language.☆17Aug 22, 2021Updated 4 years ago
- An interpreter of F-ing modules☆19Jun 21, 2019Updated 6 years ago
- ☆16Apr 19, 2022Updated 3 years ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆16Mar 4, 2024Updated last year
- Curly programming language☆18Jan 8, 2021Updated 5 years ago
- just place for some random notes about programming☆18Feb 16, 2026Updated 2 weeks ago
- The Closey programming language☆13Jul 20, 2021Updated 4 years ago
- Full stack app example with databases, api documentation and more.☆17Aug 28, 2024Updated last year
- Example api with http4s and cats effect IO monad☆13Dec 16, 2019Updated 6 years ago
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Mar 11, 2021Updated 4 years ago
- An experimental reimplementation of rowan, focused on size efficiency☆25Sep 4, 2020Updated 5 years ago
- Replacing Akka Actors with Cats Effect and FS2☆43Feb 26, 2020Updated 6 years ago
- A mini language for logic programming☆23Jun 5, 2020Updated 5 years ago
- Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"☆29Sep 3, 2023Updated 2 years ago
- Implementing a domain model using functional programming in Scala.☆26Nov 6, 2020Updated 5 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆79Jan 20, 2022Updated 4 years ago
- Typing the linear pi calculus in Agda☆29Mar 15, 2022Updated 3 years ago
- a self-hosting lambda calculus compiler☆37Mar 31, 2025Updated 11 months ago
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆31Feb 5, 2023Updated 3 years ago
- Search through rust crates without leaving the terminal☆31Oct 15, 2024Updated last year
- A resilient and scalable shopping cart system designed using Event Sourcing (ES) and Command Query Responsibility Segregation (CQRS)☆21Feb 27, 2018Updated 8 years ago
- A functional programming language, mirroring Erlang and Go, but with more OCaml!☆30Jan 28, 2026Updated last month
- A disciplined way to purely functional domain models in Scala☆29Aug 12, 2024Updated last year
- A simple tool to explore a TrueType font content as a tree☆30Jan 4, 2022Updated 4 years ago
- A functional library to work with XML in Scala using Cats.☆32Dec 15, 2025Updated 2 months ago
- Implementations of the Knight programming language☆22Jun 20, 2021Updated 4 years ago