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 9 months ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆61Updated 11 months ago
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 4 years ago
• HactarCE / NDCell
  A fast, flexible, and feature-rich interactive multidimensional cellular automaton simulator written in Rust
  ☆25Updated 4 years ago
• 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
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆48Updated last year
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆15Updated 2 years ago
• cratelyn / j
  💐 j is a subset of J, and an essay.
  ☆52Updated 6 months ago
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆18Updated 5 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 3 weeks ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆57Updated last month
• vkostyukov / quipu
  Quipu Programming Language
  ☆20Updated 13 years ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆70Updated this week
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 2 months ago
• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆55Updated 2 months ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆27Updated last month
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆26Updated last month
• LegionMammal978 / Mthmtca
  A version of Mathematica for golfing purposes.
  ☆11Updated last year
• DSLstandard / Lean4-FFI-Programming-Tutorial-GLFW
  Lean4 Tutorial/Notes on creating FFI bindings with GLFW as an example.
  ☆34Updated 5 months ago
• bloomberg / crane
  A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
  ☆90Updated last week
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆79Updated 7 months ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆94Updated 2 months ago
• EasyKayzey / CASprzak
  CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)
  ☆11Updated 6 months ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆44Updated 2 weeks ago
• sudgy / math-from-nothing
  Developing mathematics in Coq from the ground up
  ☆25Updated 2 months ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆36Updated 3 weeks ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆26Updated 2 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆26Updated 5 years ago
• acornprover / acorn
  The core implementation of the Acorn language.
  ☆39Updated last week