Mathics3 / mathicsscript
Terminal CLI to Mathics3
☆59Updated last month
Alternatives and similar repositories for mathicsscript:
Users that are interested in mathicsscript are comparing it to the libraries listed below
- Django front-end to Mathics3☆111Updated 2 weeks ago
- Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.☆20Updated last month
- Docker setup for to tie together a number of mathics libraries, and components: Mathics3, mathicsscript, Mathics-Django, etc. This is use…☆30Updated last month
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- The Nelson Programming Language☆100Updated this week
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 4 months ago
- ☆30Updated last year
- Unofficial mirror of git://git.lyx.org/lyx.git (updates daily. not affiliated with lyx.org.)☆36Updated 2 years ago
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆38Updated this week
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆32Updated last month
- Decode DVI files generated by LuaTeX☆10Updated last year
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- GitHub repo backing Programming Language Ranking website ⬇️☆31Updated last month
- The LaTeX lwarp package — Convert LaTeX to HTML.☆39Updated last year
- My unofficial picat http://picat-lang.org/ repository☆28Updated last year
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆58Updated 2 weeks ago
- Use Nikola to build hpypjoject.org☆30Updated 4 months ago
- A Tensor Language☆56Updated 3 years ago
- Like `which`, for dynamic libraries☆39Updated 2 months ago
- A Rule-Based Integrator Built On An If-Then-Else Decision Tree☆35Updated 4 years ago
- JavaScript-based translation of UnicodeMath to MathML that can be integrated into arbitrary HTML or Markdeep documents. An interactive "p…☆26Updated this week
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆40Updated last year
- ☆67Updated 2 years ago
- This repository contains the source html files for the website complex-analysis.com☆13Updated last week
- ☆11Updated 3 years ago
- Use Javascript via the Python language☆13Updated 2 years ago
- SVG and Mathml rendering library☆22Updated 4 months ago
- A dot matrix rendered using braille characters.☆26Updated 3 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆69Updated 2 weeks ago
- Arena allocator for Python objects.☆11Updated 4 years ago