rescala-lang / REScala
REScala - distributed and reactive programming embedded in OO and FP programs.
☆90Updated this week
Alternatives and similar repositories for REScala:
Users that are interested in REScala are comparing it to the libraries listed below
- ☆108Updated last year
- Verified message-passing programs in Dotty☆48Updated 4 years ago
- A programming language for distributed applications☆34Updated 10 months ago
- Squid – type-safe metaprogramming and compilation framework for Scala☆201Updated last year
- Hoogle-like searches for Scala 3 and Kotlin☆91Updated 7 months ago
- ☆54Updated 3 months ago
- Session programming in Scala☆59Updated 3 years ago
- coulomb: unit analysis for Scala☆143Updated last week
- Scala2PlantUML generates PlantUML diagrams from Scala code.☆23Updated 8 months ago
- The first and only true Functional Reactive Programming framework for Scala.☆88Updated last month
- Declarative concurrency and stream processing library for Scala☆210Updated 2 weeks ago
- Asynchronous data type with typed errors.☆82Updated 8 months ago
- Scala 3 native binding generator + libclang facade☆84Updated 3 weeks ago
- Fast streams for Scala 3☆52Updated 2 months ago
- AVSystem commons library for Scala☆87Updated this week
- TOML parser for Scala.☆24Updated 6 years ago
- Provides the geny.Generator data type, the dual to a scala.Iterator that can ensure resource cleanup☆94Updated 6 months ago
- Performant, purely-functional, low-level, and unopinionated wrapper around Java NIO functionality☆84Updated 5 years ago
- A type-parametric unboxed Option type for Scala☆61Updated 3 years ago
- an implementation of Wadler's a prettier printer☆188Updated last month
- TypeTag without scala-reflect. Supports Scala 2 and Scala 3.☆146Updated last week
- Solver for higher-order functional programs, used by Stainless☆90Updated this week
- experimental CPS transformer for dotty☆185Updated 3 weeks ago
- Extensible algebraic effects with handlers☆145Updated last week
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 2 years ago
- Embeddable Remote Scala Console☆36Updated 9 months ago
- A reactive streams implementation for fs2☆63Updated 5 years ago
- An incubator project for async/await syntax support for Cats Effect☆95Updated 3 weeks ago
- ☆42Updated last year
- The CafeSat SMT solver for Scala☆48Updated 3 years ago