Alternatives and similar repositories for mathlore-content:

Users that are interested in mathlore-content are comparing it to the libraries listed below

• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆69Updated 2 weeks ago
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated 9 months ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆33Updated 2 months ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 3 years ago
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 3 years ago
• justinmeiners / why-train-when-you-can-optimize
  Learn multi-variable optimization by creating a drawing assistant. No deep learning required!
  ☆27Updated 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• breck7 / pytree
  Tree Notation Python Library
  ☆14Updated 2 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• kach / chaos-game-fractal-foliage
  Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"
  ☆14Updated 4 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• howonlee / audible-cos
  Audible NP-Complete Problem
  ☆22Updated 5 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• anonx3247 / mathlang
  A simpler syntax for math typesetting written in go, converts to LaTeX math
  ☆27Updated last year
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• Dyalog / dyalog-jupyter-notebooks
  Jupyter notebooks for Dyalog APL
  ☆42Updated 9 months ago
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• HnimNart / deeplearning
  ☆52Updated 4 years ago
• mbuliga / quinegraphs
  Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
  ☆20Updated last year
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆21Updated 6 months ago
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆30Updated 4 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 4 years ago
• gilbo / atl
  A Tensor Language
  ☆56Updated 3 years ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆34Updated 12 years ago
• Mathics3 / mathicsscript
  Terminal CLI to Mathics3
  ☆59Updated last month
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated 9 months ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆17Updated 4 years ago