Alternatives and similar repositories for latte:

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

• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆46Updated last month
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆45Updated 10 months ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆79Updated 7 months ago
• 4ti2 / 4ti2
  A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…
  ☆38Updated last year
• AlgebraicJulia / Decapodes.jl
  A framework for composing and simulating multiphysics systems
  ☆64Updated this week
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆83Updated last month
• janverschelde / PHCpack
  The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
  ☆67Updated 2 months ago
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆69Updated 6 months ago
• miking-lang / miking-dppl
  ☆17Updated last week
• gradbench / gradbench
  Benchmarks for differentiable programming across languages and domains.
  ☆35Updated this week
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆79Updated 9 months ago
• AlgebraicJulia / AlgebraicPetri.jl
  Build Petri net models compositionally
  ☆82Updated 6 months ago
• simoninireland / simplicial
  Simplicial topology in Python
  ☆35Updated this week
• chrisheunen / freetikz
  FreeTikZ
  ☆38Updated 7 years ago
• HPAC / linnea
  Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.
  ☆68Updated 3 years ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• weighted-model-integration / pywmi
  ☆19Updated 2 years ago
• Coq-Polyhedra / Coq-Polyhedra
  Formalizing convex polyhedra in Coq
  ☆24Updated 9 months ago
• HarrisonGrodin / Rewrite.jl
  An efficient symbolic term rewriting engine
  ☆77Updated 4 years ago
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆57Updated 5 months ago
• sagemath / cypari2
  Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/
  ☆30Updated 3 months ago
• wbhart / AbstractAlgebra.jl
  Generic abstract algebra functionality in pure Julia (no C dependencies)
  ☆55Updated 2 years ago
• PACE-challenge / Treewidth
  List of Treewidth solvers, instances, and tools
  ☆34Updated 2 years ago
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆86Updated 2 months ago
• JuliaHomotopyContinuation / HomotopyContinuation.jl
  A Julia package for solving systems of polynomials via homotopy continuation.
  ☆193Updated last week
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆26Updated this week
• SSoelvsten / buddy
  BuDDy BDD package (with CMake support)
  ☆12Updated 11 months ago
• meelgroup / ganak
  High-performance probabilistic exact counter
  ☆31Updated this week
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year