Alternatives and similar repositories for rings

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

• cascala / galileo
  Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool
  ☆70Updated 5 years ago
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆60Updated last month
• sterglee / dottylab
  An implementation of ScalaLab for Scala 3 (Dotty)
  ☆17Updated 2 years ago
• epfldata / squid
  Squid – type-safe metaprogramming and compilation framework for Scala
  ☆202Updated last year
• scafi / scafi
  scafi (Scala with computational Fields): a Scala framework for Aggregate Computing
  ☆35Updated last week
• rescala-lang / REScala
  REScala - distributed and reactive programming embedded in OO and FP programs.
  ☆95Updated 3 months ago
• denisrosset / alasc
  Computational Group Theory in Scala. It's Scala permuted!
  ☆22Updated 6 years ago
• tribbloid / shapesafe
  SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory
  ☆32Updated last month
• epfl-lara / leon
  The Leon system for verification, synthesis, repair
  ☆164Updated last year
• siddhartha-gadgil / ProvingGround
  Proving Ground: Tools for Automated Mathematics
  ☆205Updated 4 years ago
• luhenry / netlib
  An high-performance, hardware-accelerated implementation of Netlib in Java
  ☆73Updated last week
• epfldata / dbstage
  ☆15Updated 5 years ago
• regb / cafesat
  The CafeSat SMT solver for Scala
  ☆50Updated 3 years ago
• scala / scala-continuations
  the Scala delimited continuations plugin and library
  ☆90Updated 5 years ago
• astojanov / NGen
  SIMD Intrinsics in the JVM
  ☆48Updated 7 years ago
• pityka / saddle
  SADDLE: Scala Data Library
  ☆39Updated 8 months ago
• epfl-lara / ScalaZ3
  DSL in Scala for Constraint Solving with Z3 SMT Solver
  ☆126Updated 2 years ago
• larsrh / libisabelle
  A Scala library which talks to Isabelle (DISCONTINUED)
  ☆38Updated 5 years ago
• lampepfl / monadic-reflection
  ☆108Updated last year
• meerkat-parser / Meerkat
  Meerkat parsers
  ☆25Updated 8 years ago
• epfl-lara / inox
  Solver for higher-order functional programs, used by Stainless
  ☆92Updated last month
• bishabosha / spire-scala3
  Bringing Spire to Dotty/Scala 3
  ☆14Updated last year
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 3 years ago
• inkytonik / kiama
  A Scala library for language processing.
  ☆47Updated last year
• dragonfly-ai / slash
  Linear Algebra and Statistics library for Scala.js, JVM, and Native.
  ☆36Updated this week
• SciScala / NDScala
  N-dimensional / multi-dimensional arrays (tensors) in Scala 3. Think NumPy ndarray / PyTorch Tensor but type-safe over shapes, array/axis…
  ☆47Updated 2 years ago
• scala / scala-collection-contrib
  community-contributed additions to the Scala 2.13 collections
  ☆111Updated this week
• strymonas / strymonas-scala
  Fast streams for Scala 3
  ☆56Updated 8 months ago
• alcestes / effpi
  Verified message-passing programs in Dotty
  ☆49Updated 4 years ago
• MaximeKjaer / tf-dotty
  Shape-safe TensorFlow in Dotty
  ☆47Updated 2 years ago