Mathics3 / mathicsscriptLinks
Terminal CLI to Mathics3
☆60Updated 3 weeks ago
Alternatives and similar repositories for mathicsscript
Users that are interested in mathicsscript are comparing it to the libraries listed below
Sorting:
- Docker setup for to tie together a number of mathics libraries, and components: Mathics3, mathicsscript, Mathics-Django, etc. This is use…☆32Updated 3 months ago
- Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.☆22Updated last week
- Django front-end to Mathics3☆118Updated 4 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year
- A Tensor Language☆55Updated 4 years ago
- LODA Programs for Integer Sequences☆37Updated this week
- Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)☆50Updated last month
- 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 toy Wolfram language interpreter.☆39Updated last year
- Partial evaluation for Python with syntactic sugar☆36Updated 9 years ago
- My unofficial picat http://picat-lang.org/ repository☆30Updated 2 years ago
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆50Updated 6 months ago
- A lightweight python3 library for arithmetic with real numbers.☆66Updated 2 months ago
- Physics Derivation Graph: mathematical connections among equations☆21Updated last year
- Source of metamath book☆52Updated 2 years ago
- Runtime and miner for the LODA language written in C++☆28Updated this week
- yorick interpreted language☆82Updated 9 months ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆71Updated 10 months ago
- An implementation of the APL language in Python with the Numpy module☆29Updated 9 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆39Updated 8 months ago
- GitHub repo backing Programming Language Ranking website ⬇️☆34Updated last week
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆63Updated 3 months ago
- Metamath verifier in Python☆40Updated 7 months ago
- Hevea is a fast latex to html translator☆114Updated 3 months ago
- Compiler Technologies for Mathematica/Wolfram Language.☆36Updated 5 years ago
- Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)☆144Updated last year
- Various implementation of byte matrix multiplication☆26Updated last year
- Programmable, human-readable inlining of Python code☆28Updated 3 years ago