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
  ☆114Updated 4 months ago
• Mathics3 / mathics-scanner
  Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.
  ☆21Updated this week
• 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 5 months ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 7 months ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆35Updated this week
• ad-si / Woxi
  Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)
  ☆35Updated last month
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆15Updated 2 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆80Updated last year
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 2 months ago
• cburschka / lyx
  Unofficial mirror of git://git.lyx.org/lyx.git (updates daily. not affiliated with lyx.org.)
  ☆37Updated 2 years ago
• gilbo / atl
  A Tensor Language
  ☆55Updated 4 years ago
• rubenvannieuwpoort / reals
  A lightweight python3 library for arithmetic with real numbers.
  ☆65Updated 5 months ago
• jlaurens / synctex
  Synchronization for TeX
  ☆76Updated 5 months ago
• janicicpredrag / gclc
  GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…
  ☆61Updated 4 months ago
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆30Updated 3 years ago
• 8l / pijul
  Pijul is a free and open source version control system, intended to be simple to use, yet based on a sound theory of collaborative work, …
  ☆46Updated 9 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆29Updated last year
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last week
• codereport / plr
  GitHub repo backing Programming Language Ranking website ⬇️
  ☆33Updated this week
• LLNL / yorick
  yorick interpreted language
  ☆83Updated 3 months ago
• contextgarden / luametatex
  Temporary/draft repository with luametatex
  ☆36Updated this week
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆25Updated this week
• xu-cheng / pandoc-katex
  Pandoc filter to render math equations using KaTeX
  ☆35Updated 2 years ago
• baruchel / apl
  An implementation of the APL language in Python with the Numpy module
  ☆30Updated 8 years ago
• vkostyukov / quipu
  Quipu Programming Language
  ☆20Updated 12 years ago
• Mc-Zen / pillar
  Shorthand column notations for tables in Typst.
  ☆13Updated last week
• grzegorzmazur / yacas
  Computer calculations made easy
  ☆134Updated 10 months ago
• facebookincubator / cinderx
  High-performance Python runtime extensions
  ☆23Updated this week
• tekknolagi / skybison
  A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…
  ☆44Updated last week
• 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 this week