Alternatives and similar repositories for mathicsscript

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

• Mathics3 / mathics-django
  Django front-end to Mathics3
  ☆118Updated 2 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…
  ☆31Updated last month
• Mathics3 / mathics-scanner
  Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.
  ☆22Updated 2 months ago
• ad-si / Woxi
  Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)
  ☆37Updated 5 months ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆36Updated this week
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 11 months 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 8 months ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 3 years ago
• tekknolagi / skybison
  A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…
  ☆50Updated 4 months ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆30Updated last year
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆32Updated 4 years ago
• gilbo / atl
  A Tensor Language
  ☆55Updated 4 years ago
• ghorvath78 / iltcme
  Inverse Laplace transform based on concentrated matrix-exponential functions
  ☆41Updated 11 months ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated last year
• rubenvannieuwpoort / reals
  A lightweight python3 library for arithmetic with real numbers.
  ☆66Updated 2 weeks ago
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆112Updated last month
• vtjnash / libwhich
  Like `which`, for dynamic libraries
  ☆40Updated 10 months ago
• bdtc / lwarp
  The LaTeX lwarp package — Convert LaTeX to HTML.
  ☆46Updated last year
• baruchel / apl
  An implementation of the APL language in Python with the Numpy module
  ☆29Updated 8 years ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• reduce-algebra / reduce-algebra
  reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…
  ☆41Updated last week
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆27Updated this week
• cburschka / lyx
  Unofficial mirror of git://git.lyx.org/lyx.git (updates daily. not affiliated with lyx.org.)
  ☆40Updated 2 years ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆62Updated 2 years ago
• janicicpredrag / gclc
  GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…
  ☆63Updated last month
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆48Updated last month
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆36Updated 6 months ago
• erezsh / lambdaX
  Partial evaluation for Python with syntactic sugar
  ☆36Updated 9 years ago
• LLNL / yorick
  yorick interpreted language
  ☆82Updated 7 months ago
• WolframResearch / wolfram-expr-rs
  Representing Wolfram Language expressions in Rust.
  ☆21Updated last year