Terminal CLI to Mathics3
☆62Apr 19, 2026Updated last week
Alternatives and similar repositories for mathicsscript
Users that are interested in mathicsscript are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.☆24Apr 19, 2026Updated last week
- Django front-end to Mathics3☆119Updated this week
- An open-source Mathematica Kernel. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g…☆1,173Updated this week
- Mathics3 3D Graphics backend using three.js☆22Apr 20, 2026Updated last week
- A parser for Wolfram Mathematica's Graphics3D functions (written in JS)☆30Jan 13, 2026Updated 3 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Debugger in the Trepan family for x-python☆18Apr 23, 2026Updated last week
- Carpet fractal genetic algorithm☆13Oct 4, 2017Updated 8 years ago
- Extism Haskell Host SDK - easily run WebAssembly modules / plugins from Haskell applications☆11Dec 3, 2024Updated last year
- evcxr support for drawing petgraph graphs in jupyter notebook☆13Oct 24, 2020Updated 5 years ago
- JupyterCon Website☆14Mar 3, 2023Updated 3 years ago
- realgud support for newer "node inspect"☆11May 26, 2019Updated 6 years ago
- Haskell bindings for OpenCV☆23Aug 8, 2015Updated 10 years ago
- hacktastic stlink swo/swv magical plaything (maybe)☆20Dec 19, 2014Updated 11 years ago
- BioPerl scripts and utilities☆11Sep 2, 2025Updated 7 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Jupyter Kernel Protocol for rust☆14Mar 30, 2026Updated last month
- Rubi for Mathematica☆259Feb 22, 2024Updated 2 years ago
- Here we give programs that check if Turing machines halt or not.☆15Sep 1, 2025Updated 7 months ago
- ☆41Nov 8, 2014Updated 11 years ago
- This repository is for archival. Please see https://github.com/Mathics3/mathics-core☆2,064Jul 31, 2022Updated 3 years ago
- FreeDOS commands and usage information☆16Feb 11, 2024Updated 2 years ago
- Yet another PyInstaller unpacking/decompilation tool☆20Dec 31, 2019Updated 6 years ago
- Convert between Windows and Linux file paths in WSL☆12Aug 11, 2025Updated 8 months ago
- Python interface to the libcdio - the CD Input and Control library☆18Apr 28, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- A password validation and generation tool kit☆13Jan 7, 2023Updated 3 years ago
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Oct 1, 2025Updated 6 months ago
- A Python client library for Crunch.io☆13Updated this week
- Z shell debugger extension for VSCode (based on vscode-bash-debug + zshdb)☆22Dec 30, 2022Updated 3 years ago
- Functional Computer Vision☆20Jun 11, 2014Updated 11 years ago
- unofficial repository of nauty and traces, the graph automorphism tools. Check branches for other versions, the official release system i…☆22Jul 18, 2025Updated 9 months ago
- A Python implementation of the C Python Interpreter☆100Feb 8, 2026Updated 2 months ago
- Python code (using regina, snappy, and sage) for working with transverse taut and veering ideal triangulations.☆10Apr 21, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Combinators in C☆37Jun 5, 2012Updated 13 years ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- Type-safe, printf-style formatting for PureScript☆17May 15, 2022Updated 3 years ago
- Travis builds for certbot.eff.org☆12Jan 19, 2022Updated 4 years ago
- Online BDD Simulation Tool☆25Jul 29, 2025Updated 9 months ago
- An LLVM interface for Lean 4. (WIP)☆26Aug 1, 2023Updated 2 years ago
- Rust crate for auto-discovery of feeds in HTML content☆13Dec 14, 2021Updated 4 years ago