Mathics3 / mathicsscriptLinks
Terminal CLI to Mathics3
☆60Updated last month
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.☆22Updated last month
- Docker setup for to tie together a number of mathics libraries, and components: Mathics3, mathicsscript, Mathics-Django, etc. This is use…☆31Updated 3 weeks ago
- Django front-end to Mathics3☆117Updated last month
- Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)☆37Updated 4 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 10 months ago
- LODA Programs for Integer Sequences☆37Updated this week
- A lightweight python3 library for arithmetic with real numbers.☆65Updated 8 months ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- A collection of lambda calculus interpreters and development tools☆16Updated 2 years ago
- Inverse Laplace transform based on concentrated matrix-exponential functions☆41Updated 10 months ago
- ☆30Updated 7 years ago
- Runtime and miner for the LODA language written in C++☆27Updated last week
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆47Updated 3 months ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 7 months ago
- Hevea is a fast latex to html translator☆108Updated this week
- A Tensor Language☆55Updated 4 years ago
- The Nelson Programming Language☆110Updated this week
- Repository of PyX, a Python package for the creation of PostScript, PDF, and SVG files.☆124Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆35Updated 4 months ago
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆41Updated this week
- The LaTeX lwarp package — Convert LaTeX to HTML.☆46Updated last year
- Physics Derivation Graph: mathematical connections among equations☆21Updated last year
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated last week
- yorick interpreted language☆82Updated 5 months ago
- QuantumSheet - A user friendly mathematics worksheet and solver☆58Updated 3 years ago
- My unofficial picat http://picat-lang.org/ repository☆29Updated last year
- An implementation of the APL language in Python with the Numpy module☆29Updated 8 years ago
- 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, …☆51Updated 9 years ago
- P.D. Magnus' forallx logic textbook☆67Updated 6 months ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago