Alternatives and similar repositories for lifealg

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

• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 3 months ago
• erigontech / gmp-wasm
  Fork of the GNU Multiple Precision Arithmetic Library (GMP), suitable for compilation into WebAssembly.
  ☆18Updated 4 years ago
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆28Updated 5 years ago
• tkwa / Sledgehammer
  A code-golf language written in Mathematica
  ☆20Updated 5 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 5 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• HactarCE / NDCell
  A fast, flexible, and feature-rich interactive multidimensional cellular automaton simulator written in Rust
  ☆25Updated 3 years ago
• pygae / GAlgebra.jl
  Julia interface to GAlgebra via PyCall
  ☆17Updated last week
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• vkostyukov / quipu
  Quipu Programming Language
  ☆20Updated 12 years ago
• regina-normal / regina
  The main source code for Regina
  ☆38Updated this week
• LegionMammal978 / Mthmtca
  A version of Mathematica for golfing purposes.
  ☆11Updated last year
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆53Updated 5 months ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• jlaragonvera / Geometric-Algebra
  Mathematica packages for geometric algebra
  ☆48Updated 2 months ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated this week
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 5 months ago
• FMNSSun / Burlesque
  http://mroman.ch/burlesque
  ☆14Updated 5 years ago
• edemaine / topp
  The Open Problems Project
  ☆38Updated last month
• blambov / RealLib
  Library for exact real number computations
  ☆40Updated 10 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 2 months ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆51Updated 3 weeks ago
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆50Updated 2 years ago
• gilbo / atl
  A Tensor Language
  ☆55Updated 4 years ago
• WolframResearch / wolfram-expr-rs
  Representing Wolfram Language expressions in Rust.
  ☆19Updated last year
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 3 years ago
• arnoudbuzing / prototypes
  miscellaneous wolfram language functions
  ☆30Updated 4 years ago
• jedlimlx / Cellular-Automaton-Viewer
  A Cellular Automaton Simulator written in Kotlin / Java
  ☆10Updated 10 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆15Updated 3 months ago