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…
  ☆70Updated 3 months ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆35Updated 2 months ago
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated last year
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 3 years ago
• breck7 / pytree
  Tree Notation Python Library
  ☆14Updated 2 years ago
• geoffreylitt / json-sheets
  Riffs on spreadsheets for manipulating JSON and building GUIs
  ☆19Updated 5 years 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
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆23Updated 9 months ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 4 years ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated last year
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• Dyalog / dyalog-jupyter-notebooks
  Jupyter notebooks for Dyalog APL
  ☆43Updated last year
• Mathics3 / mathics-omnibus
  Docker setup for to tie together a number of mathics libraries, and components: Mathics3, mathicsscript, Mathics-Django, etc. This is use…
  ☆30Updated 4 months 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 4 years ago
• justinmeiners / why-train-when-you-can-optimize
  Learn multi-variable optimization by creating a drawing assistant. No deep learning required!
  ☆28Updated 2 years ago
• prathyvsh / nature-of-thought
  Catalogue on the nature and bounds of thought
  ☆27Updated 2 years ago
• coffeemug / ts-wolfram
  A toy Wolfram language interpreter.
  ☆36Updated 7 months ago
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆17Updated 11 months ago
• otherjoel / bookcover
  📘⌨️ A Racket #lang and module for making cover PDFs for printed things.
  ☆22Updated 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 2 weeks ago
• gilbo / atl
  A Tensor Language
  ☆55Updated 4 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 3 months ago
• Spockuto / LSystems
  Fiddling with Lindenmayer systems
  ☆15Updated 2 years 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…
  ☆21Updated 2 weeks ago
• 00sapo / Python-Complementary-Languages
  Just a small test to see which language is better for extending python when using lists of lists
  ☆31Updated last year
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆19Updated 6 months ago
• ocapn / syrup
  Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.
  ☆26Updated last year
• robbielynch / ibrainfuck
  A brainfuck kernel for IPython/Jupyter.
  ☆28Updated 10 years ago
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆25Updated this week
• Syzygies / concepts-artboards
  Ruby script to convert Concepts SVG files into multiple PDF pages
  ☆11Updated 3 years ago