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.
  ☆38Updated 8 months ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆59Updated 10 months ago
• HactarCE / NDCell
  A fast, flexible, and feature-rich interactive multidimensional cellular automaton simulator written in Rust
  ☆25Updated 4 years ago
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 4 years ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆33Updated last year
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆15Updated 2 years ago
• MurrayIII / UnicodeMathML
  JavaScript-based translation of UnicodeMath to MathML 4.0. The facility supports dictation, speech, Nemeth braille, and LaTeX. The intera…
  ☆34Updated last week
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆26Updated 5 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated last month
• sudgy / math-from-nothing
  Developing mathematics in Coq from the ground up
  ☆24Updated last month
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆25Updated 2 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• ericastor / rmzoo
  ☆14Updated last year
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆18Updated 5 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated last year
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆68Updated this week
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 7 months ago
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆39Updated this week
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆49Updated 2 months ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆27Updated last week
• tkwa / Sledgehammer
  A code-golf language written in Mathematica
  ☆20Updated 5 years ago
• WolframResearch / codeparser
  Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)
  ☆144Updated last year
• teorth / symmetric_project
  ☆93Updated 2 years ago
• leanprover-community / lean4-samples
  Code samples for Lean 4
  ☆76Updated 2 years ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆26Updated 2 months ago
• coffeemug / ts-wolfram
  A toy Wolfram language interpreter.
  ☆38Updated last year
• hhu-adam / GameSkeleton
  The standard template to create a lean game
  ☆39Updated 2 months ago
• metamath / metamath-book
  Source of metamath book
  ☆51Updated 2 years ago
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated 6 months ago
• fcard / multimethods.rs
  Multiple Dispatch in Rust
  ☆20Updated 6 years ago