Mathics3 / mathicsscriptLinks
Terminal CLI to Mathics3
☆60Updated this week
Alternatives and similar repositories for mathicsscript
Users that are interested in mathicsscript are comparing it to the libraries listed below
Sorting:
- Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.☆23Updated this week
- Docker setup for to tie together a number of mathics libraries, and components: Mathics3, mathicsscript, Mathics-Django, etc. This is use…☆33Updated 4 months ago
- Django front-end to Mathics3☆119Updated this week
- A collection of lambda calculus interpreters and development tools☆16Updated 3 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year
- A lightweight python3 library for arithmetic with real numbers.☆66Updated 2 weeks ago
- Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)☆51Updated this week
- LODA Programs for Integer Sequences☆37Updated this week
- A Tensor Language☆55Updated 4 years ago
- Inverse Laplace transform based on concentrated matrix-exponential functions☆41Updated last year
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆51Updated 7 months ago
- My unofficial picat http://picat-lang.org/ repository☆31Updated 2 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- Runtime and miner for the LODA language written in C++☆28Updated last week
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆42Updated 8 months ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆71Updated 11 months ago
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆43Updated this week
- An implementation of the APL language in Python with the Numpy module☆29Updated 9 years ago
- P.D. Magnus' forallx logic textbook☆69Updated 10 months ago
- Programmable, human-readable inlining of Python code☆28Updated 3 years ago
- GitHub copy of the NTS/TeX source code from 2001☆32Updated 4 years ago
- The LaTeX lwarp package — Convert LaTeX to HTML.☆49Updated 2 years ago
- ☆30Updated 8 years ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆63Updated 3 weeks ago
- Hevea is a fast latex to html translator☆114Updated last week
- Sources for website at https://www.pypy.org☆36Updated 3 weeks ago
- Compiler Technologies for Mathematica/Wolfram Language.☆36Updated 5 years ago
- A toy Wolfram language interpreter.☆39Updated last year
- Retrospective of Python compilation efforts☆65Updated 3 years ago
- JavaScript-based translation of UnicodeMath to MathML 4.0. The facility supports dictation, speech, Nemeth braille, and LaTeX. The intera…☆34Updated 3 weeks ago