Alternatives and similar repositories for rings:

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

• PoslavskySV / libdivide4j
  Optimized integer division for Java
  ☆18Updated 4 years ago
• cascala / galileo
  Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool
  ☆71Updated 5 years ago
• epfl-lara / inox
  Solver for higher-order functional programs, used by Stainless
  ☆89Updated 2 weeks ago
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆58Updated last week
• sterglee / dottylab
  An implementation of ScalaLab for Scala 3 (Dotty)
  ☆16Updated 2 years ago
• regb / cafesat
  The CafeSat SMT solver for Scala
  ☆48Updated 3 years ago
• epfl-lara / leon
  The Leon system for verification, synthesis, repair
  ☆162Updated 11 months ago
• scala / scala-continuations
  the Scala delimited continuations plugin and library
  ☆89Updated 4 years ago
• gapt / gapt
  GAPT: General Architecture for Proof Theory
  ☆97Updated this week
• astojanov / NGen
  SIMD Intrinsics in the JVM
  ☆48Updated 7 years ago
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 2 years ago
• meerkat-parser / Meerkat
  Meerkat parsers
  ☆24Updated 7 years ago
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆366Updated 3 weeks ago
• epfl-lara / ScalaZ3
  DSL in Scala for Constraint Solving with Z3 SMT Solver
  ☆123Updated last year
• denisrosset / alasc
  Computational Group Theory in Scala. It's Scala permuted!
  ☆22Updated 5 years ago
• pingel-org / axle
  Axle Domain Specific Language for Scientific Cloud Computing and Visualization
  ☆67Updated 2 weeks ago
• dotty-linker / dotty
  Modified version of dotty suporting language specific and library-specific optimizations
  ☆37Updated 8 years ago
• Karasiq / mapdbutils
  Scala wrappers for MapDB
  ☆12Updated 7 years ago
• highj / highj
  Higher kinded types for Java
  ☆116Updated 2 years ago
• bishabosha / spire-scala3
  Bringing Spire to Dotty/Scala 3
  ☆14Updated last year
• sstucki / odds
  Probabilistic programming in Scala
  ☆34Updated 11 years ago
• miniboxing / ildl-plugin
  Data-centric metaprogramming for Scala
  ☆17Updated 9 years ago
• scala-yinyang / scala-yinyang
  Library for deep embedding of DSLs based on Scala macros.
  ☆74Updated 9 years ago
• scalan / scalan
  Generic framework for development of domain-specific compilers in Scala
  ☆96Updated 7 years ago
• scala-lms / tutorials
  Tutorials on Lightweight Modular Staging
  ☆121Updated 4 months ago
• pityka / saddle
  SADDLE: Scala Data Library
  ☆39Updated 3 weeks ago
• alcestes / lchannels
  Session programming in Scala
  ☆59Updated 3 years ago
• siddhartha-gadgil / ProvingGround
  Proving Ground: Tools for Automated Mathematics
  ☆204Updated 3 years 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
• JetBrains / arend-lib
  ☆80Updated this week