Django front-end to Mathics3
☆121Jul 30, 2026Updated last month
Alternatives and similar repositories for Mathics3-Frontend-django
Users that are interested in Mathics3-Frontend-django are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An open-source Mathematica Kernel. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g…☆1,205Updated this week
- stuff which will eventually go public on our page☆12Aug 5, 2019Updated 7 years ago
- Macaulay2 web app with support for KaTeX and HTML output☆21Aug 3, 2026Updated last month
- Jupyter wrapper kernel for singular☆11Jun 12, 2024Updated 2 years ago
- This repository is for archival. Please see https://github.com/Mathics3/mathics-core☆2,056Jul 31, 2022Updated 4 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.
- A "git trac" subcommand for git☆13Apr 6, 2022Updated 4 years ago
- Category theory in Coq, by Jason Gross☆16Jan 29, 2015Updated 11 years ago
- Mini installer that contains everything that's necessary to run rhumba☆14May 18, 2021Updated 5 years ago
- Tools for creating binary tarballs☆16Aug 23, 2021Updated 5 years ago
- Multinomials for the Mathematical Components library.☆17Aug 20, 2026Updated 2 weeks ago
- Jupyter Kernel for Xonsh☆22Jul 24, 2016Updated 10 years ago
- Tools for managing the TeX sources of the Stacks project☆16Jun 8, 2024Updated 2 years ago
- Smart contract auditing assistant tool for Truffle Framework.☆17Dec 9, 2022Updated 3 years ago
- Various small programs to help with Endless Sky development.☆12Aug 26, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Math-specific tutorial/sample project for Liqvid☆22Aug 21, 2022Updated 4 years ago
- A more gdb-like debugger for nodejs. In style of the trepan family of debuggers.☆16Jan 25, 2022Updated 4 years ago
- Jupyter kernels for GAP☆12Feb 1, 2018Updated 8 years ago
- Rog-O-Matic XIV☆11Sep 30, 2011Updated 14 years ago
- Slackware Linux Utilities and super duper libraries ;)☆14Dec 18, 2012Updated 13 years ago
- Facebook protocol plugin for libpurple☆11Mar 22, 2025Updated last year
- GAP package IO to do input and output☆15Updated this week
- Creating dynamic libraries that can be loaded in the Wolfram Language via `LibraryLink`☆15Aug 21, 2019Updated 7 years ago
- Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations☆18Dec 15, 2012Updated 13 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A tiny, fast, configurable popover in 1.6kb.☆13Jan 3, 2023Updated 3 years ago
- Explore and extend the Chess Cloud Database (https://chessdb.cn/queryc_en/). Builds a search tree for a given position (FEN/EPD).☆15Jan 6, 2026Updated 8 months ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- One-off tools and packages☆35Mar 4, 2021Updated 5 years ago
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆18Jan 4, 2023Updated 3 years ago
- Rust implementation of a basic SPICE simulator☆11May 30, 2023Updated 3 years ago
- ☆11Jun 29, 2021Updated 5 years ago
- Korn Shell (93v- 2014-12-24 or greater) Debugger☆40Jun 17, 2024Updated 2 years ago
- Linux workshop for Turkish speakers☆19Mar 16, 2020Updated 6 years ago
- 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.
- See https://github.com/sagemathinc/smc instead!☆22Mar 7, 2019Updated 7 years ago
- A Vulkan sample (simply deferred shading) revised from the LunarG SDK, using my DXUT-like framework.☆12Mar 14, 2020Updated 6 years ago
- NRPyPN: Validated Post-Newtonian Expressions for Numerical Relativity☆12Oct 1, 2023Updated 2 years ago
- emacs plug-in to run python code inside tex or markdown buffer☆34Feb 7, 2025Updated last year
- This is program of recursive descent parser using Python programming language.☆10Jan 26, 2021Updated 5 years ago
- watson: WAT (WebAssembly Text format) Structured ON Lisp☆14Feb 25, 2021Updated 5 years ago
- ☆18Sep 14, 2021Updated 4 years ago