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
  ☆68Updated this week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆37Updated 7 months ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆15Updated last year
• EasyKayzey / CASprzak
  CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)
  ☆11Updated 4 months ago
• vkostyukov / quipu
  Quipu Programming Language
  ☆20Updated 12 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆26Updated 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 this week
• sudgy / math-from-nothing
  Developing mathematics in Coq from the ground up
  ☆24Updated 3 weeks ago
• WolframResearch / wolfram-expr-rs
  Representing Wolfram Language expressions in Rust.
  ☆22Updated 2 years ago
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 4 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆58Updated 9 months ago
• MathBases / MathBases
  ☆26Updated last month
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆43Updated 4 months ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆33Updated this week
• WolframResearch / codeparser
  Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)
  ☆144Updated last year
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 3 weeks ago
• hhu-adam / GameSkeleton
  The standard template to create a lean game
  ☆33Updated last month
• jedlimlx / Cellular-Automaton-Viewer
  A Cellular Automaton Simulator written in Kotlin / Java
  ☆11Updated last year
• coffeemug / ts-wolfram
  A toy Wolfram language interpreter.
  ☆35Updated last year
• pzinn / Macaulay2Web
  Macaulay2 web app with support for KaTeX and HTML output
  ☆19Updated last week
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆18Updated 5 years ago
• ericastor / rmzoo
  ☆14Updated last year
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆46Updated last month
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆19Updated 9 months ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆36Updated 2 weeks ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆55Updated last week
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆25Updated 2 years ago
• quantum-mechanics-for-everyone / simulations
  JavaScript MOOC simulations for the edX class Quantum Mechanics for Everyone provided by Georgetown University
  ☆18Updated 8 years ago