Alternatives and similar repositories for lifealg

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

• HactarCE / NDCell
  A fast, flexible, and feature-rich interactive multidimensional cellular automaton simulator written in Rust
  ☆25Updated 3 years ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆65Updated this week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆35Updated 5 months ago
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆18Updated 5 years ago
• jedlimlx / Cellular-Automaton-Viewer
  A Cellular Automaton Simulator written in Kotlin / Java
  ☆10Updated last year
• 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
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆105Updated this week
• WolframResearch / wolfram-library-link-rs
  Safe, efficient, and ergonomic bindings to Wolfram LibraryLink and the Wolfram Language
  ☆59Updated last year
• WolframResearch / wolfram-expr-rs
  Representing Wolfram Language expressions in Rust.
  ☆21Updated last year
• WolframResearch / wolfram-app-discovery-rs
  Locate local installations of the Wolfram Language.
  ☆18Updated 8 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆91Updated this week
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• fcard / multimethods.rs
  Multiple Dispatch in Rust
  ☆20Updated 6 years ago
• EasyKayzey / CASprzak
  CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)
  ☆11Updated 3 months ago
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• WolframResearch / codeparser
  Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)
  ☆145Updated last year
• erigontech / gmp-wasm
  Fork of the GNU Multiple Precision Arithmetic Library (GMP), suitable for compilation into WebAssembly.
  ☆18Updated 4 years ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆15Updated last year
• coolwanglu / quine-chameleon
  Dancing Quine Chameleon
  ☆42Updated 10 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated last year
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆28Updated 5 years ago
• pzinn / Macaulay2Web
  Macaulay2 web app with support for KaTeX and HTML output
  ☆19Updated 3 weeks ago
• arnoudbuzing / prototypes
  miscellaneous wolfram language functions
  ☆30Updated 4 years ago
• LegionMammal978 / Mthmtca
  A version of Mathematica for golfing purposes.
  ☆11Updated last year
• WolframResearch / wstp-rs
  Rust bindings to the Wolfram Symbolic Transport Protocol (WSTP)
  ☆22Updated 2 years ago
• tkwa / Sledgehammer
  A code-golf language written in Mathematica
  ☆20Updated 5 years ago
• darrenks / nibbles
  A codegolf language for mortals
  ☆34Updated 6 months ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆44Updated last week
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆57Updated 7 months ago
• regina-normal / regina
  The main source code for Regina
  ☆39Updated 2 weeks ago