Alternatives and similar repositories for REScala:

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

• epfldata / squid
  Squid – type-safe metaprogramming and compilation framework for Scala
  ☆198Updated 11 months ago
• alcestes / lchannels
  Session programming in Scala
  ☆59Updated 3 years ago
• lampepfl / monadic-reflection
  ☆107Updated last year
• b-studios / scala-effekt
  Extensible algebraic effects with handlers
  ☆145Updated this week
• alcestes / effpi
  Verified message-passing programs in Dotty
  ☆48Updated 3 years ago
• scala-loci / scala-loci
  A programming language for distributed applications
  ☆34Updated 7 months ago
• lampepfl / bench
  benchmark compilation of Dotty
  ☆17Updated 11 months ago
• scalacenter / tasty-query
  ☆52Updated this week
• strymonas / strymonas-scala
  Fast streams for Scala 3
  ☆51Updated 2 weeks ago
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 2 years ago
• liufengyun / gestalt
  gestalt : portable and solid macros for Scala
  ☆31Updated 7 years ago
• regb / cafesat
  The CafeSat SMT solver for Scala
  ☆48Updated 3 years ago
• monix / monix-bio
  Asynchronous data type with typed errors.
  ☆80Updated 5 months ago
• outr / reactify
  The first and only true Functional Reactive Programming framework for Scala.
  ☆88Updated this week
• runarorama / scala-mset
  Multisets for Scala
  ☆85Updated 3 years ago
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆57Updated last month
• epfl-lara / inox
  Solver for higher-order functional programs, used by Stainless
  ☆89Updated this week
• ThoughtWorksInc / future.scala
  Stack-safe asynchronous programming
  ☆37Updated 5 months ago
• jcouyang / meow
  Catless Category Theory in Dotty/Scala 3 meow ~
  ☆44Updated last year
• sjrd / scala-unboxed-option
  A type-parametric unboxed Option type for Scala
  ☆61Updated 3 years ago
• ihji / sbt-antlr4
  Antlr4 plugin for sbt 1.1+ and 0.13.x
  ☆57Updated 8 months ago
• sherpal / url-dsl
  Tiny dsl library for path et parameters of urls
  ☆35Updated 3 weeks ago
• pelotom / effectful
  A syntax for type-safe effectful computations in Scala
  ☆175Updated 8 years ago
• jsuereth / sauerkraut
  A reimagined scala-pickling in the Scala 3 world
  ☆72Updated last year
• scala / scala-collection-contrib
  community-contributed additions to the Scala 2.13 collections
  ☆112Updated last week
• scala / scala-continuations
  the Scala delimited continuations plugin and library
  ☆89Updated 4 years ago
• frgomes / scala-bindgen
  A native binding generator for the Scala language.
  ☆35Updated 7 years ago
• MaximeKjaer / tf-dotty
  Shape-safe TensorFlow in Dotty
  ☆45Updated 2 years ago
• epfl-lara / ScalaZ3
  DSL in Scala for Constraint Solving with Z3 SMT Solver
  ☆123Updated last year
• algebraic-graphs / scala
  Algebraic Graphs in Scala
  ☆26Updated 3 years ago