Alternatives and similar repositories for lifealg:

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

• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆31Updated last year
• rutgers-apl / rlibm-all
  RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…
  ☆15Updated last year
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 2 months ago
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 3 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆48Updated 2 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated last year
• regina-normal / regina
  The main source code for Regina
  ☆38Updated this week
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 5 months ago
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last month
• wwylele / chocopy-rs
  ChocoPy compiler written in Rust
  ☆9Updated last year
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated last month
• jedlimlx / Cellular-Automaton-Viewer
  A Cellular Automaton Simulator written in Kotlin / Java
  ☆8Updated 7 months ago
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated last year
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated last year
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆17Updated 5 years ago
• RuleBasedIntegration / Rubi-5
  A Rule-Based Integrator Built On An If-Then-Else Decision Tree
  ☆35Updated 4 years ago
• rocq-community / tarjan
  Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …
  ☆15Updated 2 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆69Updated 2 weeks ago
• isadofschi / combinatorial_nullstellensatz
  A Lean formal proof of the Combinatorial Nullstellensatz
  ☆11Updated 2 years ago
• lecopivo / lean4-karray
  ☆13Updated 3 years ago
• FStarLang / steel
  The Steel separation logic library for F*
  ☆33Updated last month
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆20Updated last year
• WolframResearch / wolfram-expr-rs
  Representing Wolfram Language expressions in Rust.
  ☆17Updated last year
• awodey / math
  Mathematical notes and papers
  ☆26Updated this week
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆13Updated 2 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• rose-lang / rose
  Composable autodiff for the interactive web.
  ☆24Updated 7 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated 4 months ago