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.
  ☆22Updated 3 months ago
• Mathics3 / mathics-django
  Django front-end to Mathics3
  ☆118Updated 3 months ago
• Mathics3 / Mathics3-omnibus
  Docker setup for to tie together a number of mathics libraries, and components: Mathics3, mathicsscript, Mathics-Django, etc. This is use…
  ☆32Updated last month
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 3 years ago
• rubenvannieuwpoort / reals
  A lightweight python3 library for arithmetic with real numbers.
  ☆66Updated last month
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last year
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆37Updated this week
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆62Updated 2 years ago
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆114Updated last month
• ad-si / Woxi
  Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)
  ☆38Updated 2 weeks ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• gilbo / atl
  A Tensor Language
  ☆55Updated 4 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆30Updated last year
• cburschka / lyx
  Unofficial mirror of git://git.lyx.org/lyx.git (updates daily. not affiliated with lyx.org.)
  ☆41Updated 2 years ago
• LLNL / yorick
  yorick interpreted language
  ☆82Updated 7 months ago
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆32Updated 4 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…
  ☆70Updated 9 months ago
• tekknolagi / skybison
  A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…
  ☆50Updated 5 months ago
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆28Updated this week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆36Updated 6 months ago
• baruchel / apl
  An implementation of the APL language in Python with the Numpy module
  ☆29Updated 8 years ago
• coffeemug / ts-wolfram
  A toy Wolfram language interpreter.
  ☆35Updated last year
• janicicpredrag / gclc
  GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…
  ☆63Updated 2 months ago
• vkostyukov / quipu
  Quipu Programming Language
  ☆20Updated 12 years ago
• ghorvath78 / iltcme
  Inverse Laplace transform based on concentrated matrix-exponential functions
  ☆41Updated last year
• fjarri / peval
  Partial evaluation of Python code
  ☆22Updated 2 years ago
• rljacobson / FoxySheep
  Compiler Technologies for Mathematica/Wolfram Language.
  ☆36Updated 5 years ago
• grzegorzmazur / yacas
  Computer calculations made easy
  ☆138Updated last year
• Z4JC / ugrapheme
  Unicode Extended grapheme clusters in nanoseconds
  ☆37Updated last year
• rewriting / tom
  ☆34Updated 5 years ago