Alternatives and similar repositories for gelpia

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

• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• dafny-lang / Dafny-VMC
  Dafny-VMC: a Library for Verified Monte Carlo Algorithms
  ☆15Updated 6 months ago
• GaloisInc / blt
  Lattice-based integer linear programming solver
  ☆65Updated 3 years ago
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated last year
• Lysxia / coq-ceres
  Coq library for serialization to S-expressions
  ☆19Updated last year
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆13Updated 7 months ago
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆36Updated last year
• nfzhou / lp-contest
  ☆10Updated 6 months ago
• opencompl / egg-tactic-code
  ☆16Updated last year
• rocq-community / atbr
  Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]
  ☆23Updated 6 months ago
• mit-plv / rewriter
  Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting
  ☆24Updated last month
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated 3 weeks ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• zaxtax / ocaml-clustering
  Collection of clustering algorithms written in Ocaml
  ☆19Updated 16 years ago
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated 11 months ago
• microsoft / AliveInLean
  Formally verified implementation of Alive in Lean
  ☆36Updated last year
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 3 years ago
• konn / smooth
  Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
  ☆17Updated 3 years ago
• s-falke / kittel-koat
  KITTeL/KoAT
  ☆21Updated 6 years ago
• monadius / ocaml_simple_interval
  A simple and portable floating-point interval arithmetic library in OCaml
  ☆10Updated 2 years ago
• Coq-Polyhedra / Coq-Polyhedra
  Formalizing convex polyhedra in Coq
  ☆24Updated 10 months ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆48Updated 6 months ago
• riswords / quiche
  ☆22Updated 2 years ago
• VeriNum / vcfloat
  VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
  ☆28Updated 3 months ago
• kovach / etch
  ☆17Updated 10 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆68Updated 2 years ago
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 6 years ago
• ccodel / verified-encodings
  Verifying encodings into propositional logic in Lean
  ☆12Updated last year
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆45Updated 11 months ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆29Updated last week