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
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆36Updated 6 months ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆58Updated 8 months ago
• WolframResearch / wolfram-expr-rs
  Representing Wolfram Language expressions in Rust.
  ☆22Updated last year
• EasyKayzey / CASprzak
  CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)
  ☆11Updated 4 months ago
• WolframResearch / wolfram-app-discovery-rs
  Locate local installations of the Wolfram Language.
  ☆18Updated 8 months ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆66Updated this week
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• WolframResearch / codeparser
  Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)
  ☆145Updated last year
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated 2 weeks ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆91Updated this week
• riswords / quiche
  ☆24Updated 2 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆25Updated 2 years ago
• cratelyn / j
  💐 j is a subset of J, and an essay.
  ☆51Updated 3 months ago
• hhu-adam / GameSkeleton
  The standard template to create a lean game
  ☆31Updated 3 weeks ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆15Updated last year
• phate / jlm
  ☆71Updated this week
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• meithecatte / rustc-sat
  Makes rustc's exhaustiveness checker solve SAT problems
  ☆16Updated 4 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆54Updated this week
• erigontech / gmp-wasm
  Fork of the GNU Multiple Precision Arithmetic Library (GMP), suitable for compilation into WebAssembly.
  ☆18Updated 4 years ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆33Updated last week
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆29Updated 5 years ago
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆53Updated 2 months ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• egraphs-good / egglog-python
  Python bindings for the egglog rust library
  ☆91Updated last week
• tkwa / Sledgehammer
  A code-golf language written in Mathematica
  ☆20Updated 5 years ago
• pzinn / Macaulay2Web
  Macaulay2 web app with support for KaTeX and HTML output
  ☆19Updated last month