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 months ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 4 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
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆34Updated 3 weeks ago
• quantum-mechanics-for-everyone / simulations
  JavaScript MOOC simulations for the edX class Quantum Mechanics for Everyone provided by Georgetown University
  ☆17Updated 7 years ago
• breck7 / pytree
  Tree Notation Python Library
  ☆14Updated 2 years ago
• Dyalog / dyalog-jupyter-notebooks
  Jupyter notebooks for Dyalog APL
  ☆42Updated 11 months ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆22Updated 8 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated 11 months ago
• howonlee / audible-cos
  Audible NP-Complete Problem
  ☆22Updated 5 years ago
• gilbo / atl
  A Tensor Language
  ☆55Updated 4 years ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• kach / chaos-game-fractal-foliage
  Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"
  ☆15Updated 4 years ago
• Mathics3 / mathicsscript
  Terminal CLI to Mathics3
  ☆58Updated 2 months ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 3 years ago
• compcalc / compcalc.github.io
  🧮 Reading group about differential, integral and logical calculi.
  ☆26Updated 11 months ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆59Updated 2 months ago
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆20Updated 2 weeks ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated 11 months ago
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆17Updated 9 months ago
• mbuliga / quinegraphs
  Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
  ☆22Updated 2 years ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 4 years ago
• Spockuto / LSystems
  Fiddling with Lindenmayer systems
  ☆15Updated 2 years ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated 2 years ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated last year
• HnimNart / deeplearning
  ☆53Updated 4 years ago
• susam / mathcask
  A quick starter kit to easily write and share your self-rendering mathematical notes and snippets
  ☆13Updated last month
• asemic-horizon / sursis
  A [personal]<-[notebook]->[network]. Complete with custom numerics for constrained Gaussian gravitation physics.
  ☆22Updated 3 years ago