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.☆22Updated 3 months ago
- Django front-end to Mathics3☆118Updated 3 months ago
- Docker setup for to tie together a number of mathics libraries, and components: Mathics3, mathicsscript, Mathics-Django, etc. This is use…☆32Updated 2 months ago
- A collection of lambda calculus interpreters and development tools☆16Updated 3 years ago
- Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)☆44Updated last month
- 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…☆50Updated 5 months ago
- A Tensor Language☆55Updated 4 years ago
- yorick interpreted language☆82Updated 8 months ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- My unofficial picat http://picat-lang.org/ repository☆30Updated last year
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year
- A lightweight python3 library for arithmetic with real numbers.☆66Updated last month
- An implementation of the APL language in Python with the Numpy module☆29Updated 9 years ago
- GitHub copy of the NTS/TeX source code from 2001☆32Updated 4 years ago
- Like `which`, for dynamic libraries☆40Updated 11 months ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆63Updated 3 months ago
- Quipu Programming Language☆20Updated 12 years ago
- Inverse Laplace transform based on concentrated matrix-exponential functions☆41Updated last year
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆42Updated last week
- Runtime and miner for the LODA language written in C++☆28Updated last week
- Retrospective of Python compilation efforts☆65Updated 3 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆71Updated 9 months ago
- Partial evaluation of Python code☆22Updated 2 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆49Updated 2 weeks ago
- ☆30Updated 7 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆37Updated 7 months ago
- An interpreter for the 1991 Oriel scripting language☆58Updated 2 years ago
- A toy Wolfram language interpreter.☆38Updated last year
- Programmable, human-readable inlining of Python code☆28Updated 3 years ago