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.☆23Updated last 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 last week
- Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)☆50Updated 2 months ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- 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
- LODA Programs for Integer Sequences☆37Updated this week
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆42Updated 8 months ago
- Unofficial mirror of git://git.lyx.org/lyx.git (updates daily. not affiliated with lyx.org.)☆41Updated 2 years ago
- My unofficial picat http://picat-lang.org/ repository☆31Updated 2 years ago
- yorick interpreted language☆82Updated 9 months ago
- Runtime and miner for the LODA language written in C++☆28Updated last week
- Representing Wolfram Language expressions in Rust.☆23Updated 2 years ago
- GitHub copy of the NTS/TeX source code from 2001☆32Updated 4 years ago
- A Tensor Language☆55Updated 4 years ago
- 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
- Partial evaluation for Python with syntactic sugar☆36Updated 9 years ago
- Hevea is a fast latex to html translator☆114Updated last week
- Inverse Laplace transform based on concentrated matrix-exponential functions☆41Updated last year
- 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
- Mirror for Pikchr☆145Updated last month
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆51Updated 7 months ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆63Updated 3 weeks ago
- Programmable, human-readable inlining of Python code☆28Updated 3 years ago
- Rust bindings to the Wolfram Symbolic Transport Protocol (WSTP)☆23Updated 2 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago