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
  ☆201Updated last year
• b-studios / scala-effekt
  Extensible algebraic effects with handlers
  ☆145Updated this week
• VirtusLab / Inkuire
  Hoogle-like searches for Scala 3 and Kotlin
  ☆91Updated 8 months ago
• lampepfl / monadic-reflection
  ☆109Updated last year
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 3 years ago
• scala-loci / scala-loci
  A programming language for distributed applications
  ☆34Updated 11 months ago
• scala / scala-collection-contrib
  community-contributed additions to the Scala 2.13 collections
  ☆112Updated this week
• epfl-lara / inox
  Solver for higher-order functional programs, used by Stainless
  ☆91Updated last month
• alcestes / effpi
  Verified message-passing programs in Dotty
  ☆48Updated 4 years ago
• propensive / soundness
  A platform of libraries for Scala 3
  ☆93Updated this week
• jcouyang / meow
  Catless Category Theory in Dotty/Scala 3 meow ~
  ☆43Updated 2 years ago
• monix / monix-bio
  Asynchronous data type with typed errors.
  ☆82Updated 9 months ago
• scala / toolkit
  The batteries-included Scala
  ☆95Updated 3 months ago
• alcestes / lchannels
  Session programming in Scala
  ☆59Updated 3 years ago
• scalameta / sbt-native-image
  Plugin to generate native-image binaries with sbt
  ☆255Updated last year
• zio-archive / zio-shield
  Enforce best coding practices with ZIO
  ☆82Updated 2 years ago
• indoorvivants / sn-bindgen
  Scala 3 native binding generator + libclang facade
  ☆85Updated 3 weeks ago
• softwaremill / saft
  ☆43Updated 7 months ago
• ihji / sbt-antlr4
  Antlr4 plugin for sbt 1.1+ and 0.13.x
  ☆57Updated last year
• TomasMikula / libretto
  Declarative concurrency and stream processing library for Scala
  ☆211Updated last week
• jsuereth / sauerkraut
  A reimagined scala-pickling in the Scala 3 world
  ☆74Updated 2 years ago
• zio / izumi-reflect
  TypeTag without scala-reflect. Supports Scala 2 and Scala 3.
  ☆147Updated last week
• Chymyst / curryhoward
  Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
  ☆258Updated last week
• epfl-lara / ScalaZ3
  DSL in Scala for Constraint Solving with Z3 SMT Solver
  ☆124Updated 2 years ago
• TimWSpence / cats-stm
  A STM implementation for Cats Effect
  ☆148Updated last week
• rorygraves / ScalaClean
  Full program static analysis for Scala
  ☆95Updated 3 years ago
• regb / scalanative-graphics-bindings
  OpenGL and SDL2 bindings for Scala Native
  ☆41Updated 2 years ago
• dotty-cps-async / dotty-cps-async
  experimental CPS transformer for dotty
  ☆188Updated this week
• typelevel / paiges
  an implementation of Wadler's a prettier printer
  ☆188Updated 3 weeks ago
• scala-native / scala-native.g8
  Giter8 template for a minimal project that uses Scala Native.
  ☆76Updated 6 months ago