Alternatives and similar repositories for mathicsscript:

Users that are interested in mathicsscript are comparing it to the libraries listed below

• Mathics3 / mathics-scanner
  Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.
  ☆20Updated last month
• 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 last month
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 3 months ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• codereport / plr
  GitHub repo backing Programming Language Ranking website ⬇️
  ☆31Updated 3 weeks ago
• lark-parser / vscode-lark
  ☆30Updated last year
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆32Updated last month
• reduce-algebra / reduce-algebra
  reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…
  ☆38Updated this week
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆33Updated this week
• tekknolagi / skybison
  A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…
  ☆40Updated last year
• diofant / diofant
  A Python CAS library
  ☆72Updated this week
• dubrousky / mockmma
  ☆30Updated 7 years ago
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆69Updated last week
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated this week
• bdtc / lwarp
  The LaTeX lwarp package — Convert LaTeX to HTML.
  ☆38Updated last year
• graydon / exhaustigen
  ☆11Updated 3 years ago
• GabrielDosReis / open-axiom
  OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations
  ☆24Updated 7 months ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• MurrayIII / UnicodeMathML
  JavaScript-based translation of UnicodeMath to MathML that can be integrated into arbitrary HTML or Markdeep documents. An interactive "p…
  ☆25Updated this week
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆27Updated 4 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• baruchel / apl
  An implementation of the APL language in Python with the Numpy module
  ☆29Updated 8 years ago
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆30Updated 4 years ago
• cburschka / lyx
  Unofficial mirror of git://git.lyx.org/lyx.git (updates daily. not affiliated with lyx.org.)
  ☆36Updated last year
• rubenvannieuwpoort / reals
  A lightweight python3 library for arithmetic with real numbers.
  ☆63Updated last month
• janicicpredrag / gclc
  GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…
  ☆58Updated last week
• matjp / dvi-decode
  Decode DVI files generated by LuaTeX
  ☆10Updated last year
• MITDDC / clu-1976-1989
  A set of files that can be used to create a working version of an early version of the CLU programming language
  ☆36Updated 2 years ago