Alternatives and similar repositories for latte

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

• janverschelde / PHCpack
  The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
  ☆70Updated this week
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆80Updated 2 months ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆48Updated this week
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆54Updated last year
• AlgebraicJulia / Decapodes.jl
  A framework for composing and simulating multiphysics systems
  ☆72Updated last week
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆82Updated last year
• 4ti2 / 4ti2
  A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…
  ☆41Updated 2 months ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• bertiniteam / b2
  Bertini 2.0: The redevelopment of Bertini in C++.
  ☆108Updated last month
• flatsurf / e-antic
  Embedded algebraic number fields
  ☆14Updated 3 weeks ago
• PACE-challenge / Treewidth
  List of Treewidth solvers, instances, and tools
  ☆36Updated 3 years ago
• HPAC / linnea
  Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.
  ☆71Updated 3 weeks ago
• discopt / cmr
  Combinatorial Matrix Recognition
  ☆11Updated last month
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆73Updated this week
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆62Updated this week
• AlgebraicJulia / AlgebraicPetri.jl
  Build Petri net models compositionally
  ☆88Updated 3 weeks ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆84Updated 6 months ago
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆96Updated last week
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆48Updated last year
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆20Updated 4 months ago
• motib / LearnSAT
  SAT solver for education
  ☆26Updated 2 years ago
• flintlib / python-flint
  Python bindings for Flint and Arb
  ☆137Updated last week
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆30Updated this week
• 3-manifolds / SnapPy
  SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…
  ☆107Updated last week
• wbhart / AbstractAlgebra.jl
  Generic abstract algebra functionality in pure Julia (no C dependencies)
  ☆55Updated 3 years ago
• HarrisonGrodin / Rewrite.jl
  An efficient symbolic term rewriting engine
  ☆78Updated 4 years ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆32Updated last month
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆62Updated last week
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• adamwespiser / variational-autoencoders
  Experiments with variational autoencoders in Julia
  ☆17Updated 6 years ago