Alternatives and similar repositories for rings

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

• denisrosset / alasc
  Computational Group Theory in Scala. It's Scala permuted!
  ☆22Updated 6 years ago
• epfl-lara / inox
  Solver for higher-order functional programs, used by Stainless
  ☆91Updated last month
• sterglee / dottylab
  An implementation of ScalaLab for Scala 3 (Dotty)
  ☆16Updated 2 years ago
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 3 years ago
• regb / cafesat
  The CafeSat SMT solver for Scala
  ☆48Updated 3 years ago
• epfl-lara / leon
  The Leon system for verification, synthesis, repair
  ☆163Updated last year
• cascala / galileo
  Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool
  ☆71Updated 5 years ago
• epfl-lara / ScalaZ3
  DSL in Scala for Constraint Solving with Z3 SMT Solver
  ☆124Updated 2 years ago
• PoslavskySV / libdivide4j
  Optimized integer division for Java
  ☆18Updated 4 years ago
• highj / highj
  Higher kinded types for Java
  ☆117Updated 3 years ago
• scala / scala-continuations
  the Scala delimited continuations plugin and library
  ☆89Updated 4 years ago
• gapt / gapt
  GAPT: General Architecture for Proof Theory
  ☆100Updated this week
• larsrh / libisabelle
  A Scala library which talks to Isabelle (DISCONTINUED)
  ☆38Updated 4 years ago
• astojanov / NGen
  SIMD Intrinsics in the JVM
  ☆48Updated 7 years ago
• derive4j / hkt
  Higher Kinded Type machinery for Java
  ☆82Updated 3 years ago
• tomtung / latex2unicode
  Convert LaTeX markup to Unicode (in Scala and Java)
  ☆38Updated 3 years ago
• Chymyst / curryhoward
  Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
  ☆258Updated 2 weeks ago
• siddhartha-gadgil / ProvingGround
  Proving Ground: Tools for Automated Mathematics
  ☆204Updated 3 years ago
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆59Updated 3 months ago
• sjrd / scala-unboxed-option
  A type-parametric unboxed Option type for Scala
  ☆61Updated 3 years ago
• alcestes / lchannels
  Session programming in Scala
  ☆59Updated 3 years ago
• bishabosha / spire-scala3
  Bringing Spire to Dotty/Scala 3
  ☆14Updated last year
• jeremyrsmith / baudrillard
  Experiments with symbolic functions in the Scala type system
  ☆27Updated 5 years ago
• softwaremill / helisa
  Scala API for jenetics
  ☆26Updated 6 years ago
• scala / scala-collection-contrib
  community-contributed additions to the Scala 2.13 collections
  ☆112Updated this week
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 3 years ago
• ihji / sbt-antlr4
  Antlr4 plugin for sbt 1.1+ and 0.13.x
  ☆57Updated last year
• erikerlandson / coulomb
  coulomb: unit analysis for Scala
  ☆144Updated last month
• meerkat-parser / Meerkat
  Meerkat parsers
  ☆24Updated 7 years ago
• dotty-linker / dotty
  Modified version of dotty suporting language specific and library-specific optimizations
  ☆37Updated 8 years ago