rescala-lang / REScala
REScala - distributed and reactive programming embedded in OO and FP programs.
☆89Updated last week
Alternatives and similar repositories for REScala:
Users that are interested in REScala are comparing it to the libraries listed below
- A programming language for distributed applications☆34Updated 9 months ago
- Verified message-passing programs in Dotty☆48Updated 3 years ago
- Squid – type-safe metaprogramming and compilation framework for Scala☆199Updated last year
- Multi-platform GPGPU computations with Scala, seamlessly 🚀☆84Updated last month
- ☆54Updated 2 months ago
- Extensible algebraic effects with handlers☆145Updated 2 weeks ago
- ☆108Updated last year
- Session programming in Scala☆59Updated 3 years ago
- Fast streams for Scala 3☆52Updated last month
- TOML parser for Scala.☆24Updated 6 years ago
- Asynchronous data type with typed errors.☆82Updated 7 months ago
- A type-parametric unboxed Option type for Scala☆61Updated 3 years ago
- An incubator project for async/await syntax support for Cats Effect☆95Updated last week
- To probe what we can't prove, so the unprovable may become probable; testing for Scala☆55Updated last month
- Animated ZIO documentation and visualizations☆58Updated 4 years ago
- Type safe RPC in scala☆100Updated 3 weeks ago
- Scala 3 native binding generator + libclang facade☆84Updated 2 weeks ago
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…☆31Updated last year
- A reimagined scala-pickling in the Scala 3 world☆73Updated last year
- TypeTag without scala-reflect. Supports Scala 2 and Scala 3.☆144Updated last week
- ☆28Updated 7 months ago
- Scala Improvement Proposals☆54Updated last month
- Scala Native support for the TensorFlow C API on Linux and macOS☆42Updated last week
- Scala idiomatic wrapper for RxJS☆47Updated 7 years ago
- ☆42Updated last year
- Hoogle-like searches for Scala 3 and Kotlin☆90Updated 6 months ago
- The first and only true Functional Reactive Programming framework for Scala.☆88Updated last week
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 2 years ago
- Tiny dsl library for path et parameters of urls☆36Updated 3 months ago
- Multisets for Scala☆85Updated 3 years ago