Alternatives and similar repositories for atlasofliegroups

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

• cseed / knotkit
  knot theory and computational algebra software
  ☆38Updated 11 years ago
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 8 years ago
• peeterjoot / physicsplay
  Latex source for geometric algebra and physics notes.
  ☆37Updated 3 weeks ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆76Updated 7 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 8 years ago
• appliedtopology / ctl
  A fast generic C++ library for applied and computational topology
  ☆60Updated 9 years ago
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆23Updated 2 weeks ago
• windsteiger / Theorema
  Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
  ☆74Updated 4 years ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆135Updated 10 months ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆62Updated 2 years ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆170Updated 6 years ago
• sagemath / pari-jupyter
  Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/
  ☆11Updated last year
• j2kun / computing-homology
  Python code for the post "Computing Homology"
  ☆29Updated 3 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆79Updated 4 months ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆66Updated 5 months ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆180Updated last year
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆125Updated 3 years ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆129Updated last year
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆172Updated last year
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆86Updated 3 months ago
• shaunharker / CHomP
  CHomP -- Computation Homology Project software
  ☆50Updated last year
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆57Updated 11 years ago
• janverschelde / PHCpack
  The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
  ☆70Updated last week
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆39Updated last week
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆50Updated this week
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆69Updated last year
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆63Updated 4 months ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆43Updated last week