Alternatives and similar repositories for math-genealogy

Users that are interested in math-genealogy are comparing it to the libraries listed below

• susam / heart
  Hearts drawn with Python Matplotlib and C
  ☆42Updated 6 years ago
• ericu / CellCulTuring
  Casual experiments with cellular automata
  ☆78Updated 6 years ago
• ParhamP / Natural_Logic_Interpreter
  Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic
  ☆117Updated 7 years ago
• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 9 years ago
• onnlucky / squaregenes
  A life simulator by providing rules and genes.
  ☆50Updated 9 years ago
• eevee / project-euler
  interesting solutions to project euler problems
  ☆84Updated 9 years ago
• aidanhs / schrotcl
  Schrödinger's Tcl
  ☆30Updated 10 years ago
• ridiculousfish / wavefiz
  GL Wavefunction Visualizer
  ☆46Updated 10 months ago
• jbclements / molis-hai
  Password Generation using Markov models, Huffman trees, and Charles Dickens
  ☆43Updated 6 years ago
• sebcat / move-literals
  An example of PEG usage
  ☆55Updated 8 years ago
• ekmartin / bibtex-search
  Search for BibTeX references
  ☆129Updated 7 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆48Updated 11 years ago
• wpears / spree
  Read without moving your eyes.
  ☆28Updated 10 years ago
• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆282Updated 6 months ago
• schwering / limbo
  A Reasoning System for a First-Order Logic of Limited Belief, written in C++
  ☆234Updated 4 years ago
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 8 years ago
• mekarpeles / math.mx
  A comprehensive graph of mathematical domains and topics
  ☆22Updated 3 years ago
• pfdamasceno / shakespeare
  Identify relevant scientific papers with simple machine learning techniques
  ☆27Updated 10 years ago
• forestdb / forestdb.org
  A repository for generative models
  ☆117Updated 2 months ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆240Updated 3 years ago
• ohjuny / monopoly_simulator
  A simple simulator of our favorite childhood boardgame
  ☆22Updated 9 years ago
• rkirsling / modallogic
  Modal Logic Playground
  ☆372Updated last year
• hnarayanan / sicm
  Working through Structure and Interpretation of Classical Mechanics.
  ☆125Updated last year
• scvalencia / Coddie
  An Interpreter for Extended Relational Algebra (Scheme based)
  ☆84Updated 8 years ago
• louisabraham / algnuth
  Algebraic Number Theory package
  ☆271Updated 4 years ago
• kiwi0fruit / sugartex
  SugarTeX is a more readable LaTeX language extension and transcompiler to LaTeX. Fast Unicode autocomplete in Atom editor via https://git…
  ☆74Updated 4 years ago
• INRIA / atable
  Making better ranking tables since 2014
  ☆40Updated 8 years ago
• notmatthancock / outline_to_dot
  indented outline markup -> dot
  ☆52Updated 10 years ago
• CYHSM / chess-surprise-analysis
  Find surprising moves in chess games
  ☆178Updated 4 years ago
• ramadis / slang
  📟 Encoding/Decoding tool for Martin David's theoretical S language programs.
  ☆16Updated 9 years ago