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.
  ☆34Updated 4 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 3 months ago
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 3 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated 2 weeks 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
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated last month
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 5 years ago
• riswords / quiche
  ☆24Updated 2 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated last year
• HactarCE / NDCell
  A fast, flexible, and feature-rich interactive multidimensional cellular automaton simulator written in Rust
  ☆25Updated 3 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆26Updated 2 years ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆65Updated this week
• MurrayIII / UnicodeMathML
  JavaScript-based translation of UnicodeMath to MathML that can be integrated into arbitrary HTML or Markdeep documents. An interactive "p…
  ☆31Updated this week
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆57Updated 6 months ago
• RuleBasedIntegration / Rubi-5
  A Rule-Based Integrator Built On An If-Then-Else Decision Tree
  ☆37Updated 4 years ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆76Updated last year
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆86Updated last month
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• regina-normal / regina
  The main source code for Regina
  ☆39Updated this week
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆63Updated 10 months ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated last year
• vkostyukov / quipu
  Quipu Programming Language
  ☆20Updated 12 years ago
• coffeemug / ts-wolfram
  A toy Wolfram language interpreter.
  ☆35Updated 10 months ago
• WolframResearch / wolfram-expr-rs
  Representing Wolfram Language expressions in Rust.
  ☆19Updated last year