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.
  ☆42Updated 8 months ago
• HactarCE / NDCell
  A fast, flexible, and feature-rich interactive multidimensional cellular automaton simulator written in Rust
  ☆25Updated 4 years ago
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆18Updated 5 years ago
• EasyKayzey / CASprzak
  CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)
  ☆11Updated 6 months ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆61Updated 10 months ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 2 months ago
• hhu-adam / GameSkeleton
  The standard template to create a lean game
  ☆40Updated 3 months ago
• cratelyn / j
  💐 j is a subset of J, and an essay.
  ☆52Updated 6 months ago
• metamath / metamath-book
  Source of metamath book
  ☆53Updated 2 years ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆15Updated 2 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆91Updated last month
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆77Updated last year
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆25Updated 2 years ago
• WolframResearch / wolfram-library-link-rs
  Safe, efficient, and ergonomic bindings to Wolfram LibraryLink and the Wolfram Language
  ☆61Updated 2 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆27Updated last month
• jedlimlx / Cellular-Automaton-Viewer
  A Cellular Automaton Simulator written in Kotlin / Java
  ☆11Updated last year
• sudgy / math-from-nothing
  Developing mathematics in Coq from the ground up
  ☆25Updated 2 months ago
• RuleBasedIntegration / Rubi-5
  A Rule-Based Integrator Built On An If-Then-Else Decision Tree
  ☆38Updated 4 years ago
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆40Updated 2 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆64Updated last year
• ljedrz / lambda_calculus
  A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
  ☆137Updated 4 months ago
• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆52Updated last month
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 7 months ago
• WolframResearch / codeparser
  Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)
  ☆145Updated last year
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆79Updated 7 months ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆48Updated last year
• homotopy-io / homotopy-rs
  A Rust/WASM implementation of homotopy.io
  ☆110Updated last week
• 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 2 years ago