Alternatives and similar repositories for rings:

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

• epfl-lara / inox
  Solver for higher-order functional programs, used by Stainless
  ☆89Updated this week
• regb / cafesat
  The CafeSat SMT solver for Scala
  ☆48Updated 3 years ago
• PoslavskySV / libdivide4j
  Optimized integer division for Java
  ☆18Updated 4 years ago
• sterglee / dottylab
  An implementation of ScalaLab for Scala 3 (Dotty)
  ☆16Updated 2 years ago
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆58Updated last month
• epfl-lara / leon
  The Leon system for verification, synthesis, repair
  ☆161Updated last year
• epfl-lara / ScalaZ3
  DSL in Scala for Constraint Solving with Z3 SMT Solver
  ☆123Updated last year
• cascala / galileo
  Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool
  ☆71Updated 5 years ago
• pityka / saddle
  SADDLE: Scala Data Library
  ☆39Updated 2 months ago
• astojanov / NGen
  SIMD Intrinsics in the JVM
  ☆48Updated 7 years ago
• scala / scala-continuations
  the Scala delimited continuations plugin and library
  ☆89Updated 4 years ago
• strymonas / strymonas-scala
  Fast streams for Scala 3
  ☆52Updated last month
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 2 years ago
• denisrosset / alasc
  Computational Group Theory in Scala. It's Scala permuted!
  ☆22Updated 6 years ago
• bishabosha / spire-scala3
  Bringing Spire to Dotty/Scala 3
  ☆14Updated last year
• ThoughtWorksInc / feature.scala
  Access Scala language features on the type-level
  ☆31Updated 7 months ago
• lampepfl / xml-interpolator
  XML String Interpolator for Dotty
  ☆34Updated 11 months ago
• scala / scala-collection-contrib
  community-contributed additions to the Scala 2.13 collections
  ☆112Updated 2 weeks ago
• epfl-lara / bolts
  Bolts: Stainless Verified Scala Examples
  ☆21Updated last week
• rescala-lang / REScala
  REScala - distributed and reactive programming embedded in OO and FP programs.
  ☆89Updated last week
• alcestes / effpi
  Verified message-passing programs in Dotty
  ☆48Updated 3 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 year
• ihji / sbt-antlr4
  Antlr4 plugin for sbt 1.1+ and 0.13.x
  ☆57Updated 10 months ago
• miniboxing / miniboxing-plugin
  Miniboxing is a program transformation that improves the performance of Scala generics when used with primitive types. It can speed up ge…
  ☆121Updated 4 years ago
• zero-deps / proto
  Lightweight and fast serialization library for Scala 2/3 based on Protocol Buffers with macros
  ☆33Updated 6 months ago
• larsrh / libisabelle
  A Scala library which talks to Isabelle (DISCONTINUED)
  ☆38Updated 4 years ago
• MaximeKjaer / tf-dotty
  Shape-safe TensorFlow in Dotty
  ☆45Updated 2 years ago
• gapt / gapt
  GAPT: General Architecture for Proof Theory
  ☆98Updated 2 weeks ago
• tomtung / latex2unicode
  Convert LaTeX markup to Unicode (in Scala and Java)
  ☆38Updated 2 years ago
• plokhotnyuk / expression-evaluator
  Compile-time expression evaluation for Scala 2
  ☆16Updated 2 weeks ago