Mathics3 / mathicsscriptLinks
Terminal CLI to Mathics3
☆59Updated this week
Alternatives and similar repositories for mathicsscript
Users that are interested in mathicsscript are comparing it to the libraries listed below
Sorting:
- Django front-end to Mathics3☆117Updated this week
- Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.☆21Updated this week
- Docker setup for to tie together a number of mathics libraries, and components: Mathics3, mathicsscript, Mathics-Django, etc. This is use…☆30Updated 2 weeks ago
- Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)☆36Updated 2 months ago
- A collection of lambda calculus interpreters and development tools☆16Updated 2 years ago
- LODA Programs for Integer Sequences☆37Updated this week
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆46Updated last month
- A Tensor Language☆55Updated 4 years ago
- A semantic Extension of TeX/LaTeX☆54Updated 2 weeks ago
- Retrospective of Python compilation efforts☆64Updated 3 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 5 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 9 months ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- An implementation of the APL language in Python with the Numpy module☆30Updated 8 years ago
- A lightweight python3 library for arithmetic with real numbers.☆65Updated 7 months ago
- Inverse Laplace transform based on concentrated matrix-exponential functions☆41Updated 9 months ago
- Compiler Technologies for Mathematica/Wolfram Language.☆36Updated 5 years ago
- Partial evaluation for Python with syntactic sugar☆36Updated 9 years ago
- JavaScript-based translation of UnicodeMath to MathML that can be integrated into arbitrary HTML or Markdeep documents. An interactive "p…☆31Updated this week
- GitHub copy of the NTS/TeX source code from 2001☆31Updated 4 years ago
- A Python CAS library☆72Updated this week
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated 3 months ago
- yorick interpreted language☆83Updated 4 months ago
- My unofficial picat http://picat-lang.org/ repository☆29Updated last year
- Programmable, human-readable inlining of Python code☆28Updated 2 years ago
- Lightweight markup language - Document Once☆51Updated 2 years ago
- A toy Wolfram language interpreter.☆35Updated 9 months ago
- Partial evaluation of Python code☆22Updated 2 years ago
- Unofficial mirror of git://git.lyx.org/lyx.git (updates daily. not affiliated with lyx.org.)☆40Updated 2 years ago
- Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML☆17Updated last year