PoslavskySV / rings

Related projects ⓘ

Alternatives and complementary repositories for rings

• cascala / galileo
  Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool
  ☆70Updated 4 years ago
• epfl-lara / ScalaZ3
  DSL in Scala for Constraint Solving with Z3 SMT Solver
  ☆123Updated last year
• regb / cafesat
  The CafeSat SMT solver for Scala
  ☆48Updated 3 years ago
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆56Updated 2 years ago
• epfl-lara / inox
  Solver for higher-order functional programs, used by Stainless
  ☆88Updated last week
• sterglee / dottylab
  An implementation of ScalaLab for Scala 3 (Dotty)
  ☆14Updated last year
• gapt / gapt
  GAPT: General Architecture for Proof Theory
  ☆94Updated this week
• larsrh / libisabelle
  A Scala library which talks to Isabelle (DISCONTINUED)
  ☆38Updated 4 years ago
• epfl-lara / leon
  The Leon system for verification, synthesis, repair
  ☆162Updated 7 months ago
• meerkat-parser / Meerkat
  Meerkat parsers
  ☆24Updated 7 years ago
• denisrosset / alasc
  Computational Group Theory in Scala. It's Scala permuted!
  ☆21Updated 5 years ago
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 2 years ago
• highj / highj
  Higher kinded types for Java
  ☆114Updated 2 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
  ☆29Updated 7 months ago
• tomtung / latex2unicode
  Convert LaTeX markup to Unicode (in Scala and Java)
  ☆36Updated 2 years ago
• epfl-lara / welder
  Interactive Theorem Proving based on Inox
  ☆10Updated 5 years ago
• epfldata / dbstage
  ☆15Updated 4 years ago
• strymonas / staged-streams.scala
  ☆57Updated 7 years ago
• scala / scala-continuations
  the Scala delimited continuations plugin and library
  ☆89Updated 4 years ago
• samuelgruetter / dot-calculus
  Formalization of the Dependent Object Types (DOT) calculus
  ☆62Updated 2 years ago
• JetBrains / arend-lib
  ☆79Updated this week
• derive4j / derive4j-fj
  Automatic derivation of functional-java typeclasse instances and optics
  ☆21Updated 4 years ago
• ThoughtWorksInc / feature.scala
  Access Scala language features on the type-level
  ☆31Updated 2 months ago
• epfldata / squid
  Squid – type-safe metaprogramming and compilation framework for Scala
  ☆198Updated 9 months ago
• derive4j / hkt
  Higher Kinded Type machinery for Java
  ☆82Updated 2 years ago
• sjrd / scala-unboxed-option
  A type-parametric unboxed Option type for Scala
  ☆60Updated 3 years ago
• piotr-kalanski / SPlot
  Scala library for data visualization.
  ☆10Updated 7 years ago
• siddhartha-gadgil / ProvingGround
  Proving Ground: Tools for Automated Mathematics
  ☆203Updated 3 years ago
• scala-yinyang / scala-yinyang
  Library for deep embedding of DSLs based on Scala macros.
  ☆74Updated 8 years ago
• Chymyst / curryhoward
  Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
  ☆257Updated 3 years ago