GeoGebra Discovery
☆30Jul 10, 2026Updated last month
Alternatives and similar repositories for geogebra-discovery
Users that are interested in geogebra-discovery are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Web-based formula editor that creates strict content MathML☆11Feb 8, 2022Updated 4 years ago
- A Python interface to the MAGMA libraries☆10Sep 3, 2016Updated 9 years ago
- Experience Analysis Utility Functions☆11May 14, 2026Updated 3 months ago
- Mathematica Notebooks☆14Jun 16, 2013Updated 13 years ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆49Apr 3, 2026Updated 4 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Java workbench tool for data science and education☆44Aug 11, 2026Updated last week
- ☆12Dec 14, 2022Updated 3 years ago
- A Probability Theory Library for the Coq Theorem Prover☆55Oct 6, 2023Updated 2 years ago
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated 2 years ago
- 🗺 Mandelbrot set and Julia set explorer made with React and WebGL☆26Sep 30, 2025Updated 10 months ago
- Machine learning algorithms for discovering dimensionless groups from simulation and experimental data☆17Oct 12, 2022Updated 3 years ago
- A collection of facilitative tools for LaTeX typesetting☆18Feb 20, 2026Updated 5 months ago
- Free, open-source and non-linear video editor designed to run entirely in your web browser.☆18Updated this week
- A small Coq library for collecting side conditions and deferring their proof☆26Oct 14, 2019Updated 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.
- An example that demonstrates how to write Python libraries in OCaml using pyml and pythonlib.☆16Feb 15, 2023Updated 3 years ago
- A tiny, fast, configurable popover in 1.6kb.☆13Jan 3, 2023Updated 3 years ago
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆26May 28, 2026Updated 2 months ago
- Web and Mobile version of QuickSmith☆15Oct 2, 2025Updated 10 months ago
- Video import and export in Mathematica using Media Foundation☆11Aug 2, 2014Updated 12 years ago
- Visualize subsets of PSL(2,R) in exterior solid torus model☆13Aug 20, 2020Updated 5 years ago
- Experimenting with special ratios to guide grids for composition☆16Apr 23, 2018Updated 8 years ago
- Repository containing starters templates to be used within Kodu☆15Sep 26, 2024Updated last year
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆34Jun 7, 2018Updated 8 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.
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"☆15Jul 2, 2024Updated 2 years ago
- MLAB hardware modules and building blocks☆16Sep 30, 2023Updated 2 years ago
- Hyphenation of English words☆13Dec 21, 2016Updated 9 years ago
- A Python module to compute multidimensional arrays of evaluated (orthogonal) functions.☆11Apr 28, 2019Updated 7 years ago
- Python JIT transpiler to C++☆15Jan 14, 2020Updated 6 years ago
- Formalization of the basic actuarial mathematics using Coq☆23Dec 11, 2024Updated last year
- Sources of the EuroProofNet web site.☆13Jul 15, 2026Updated last month
- Live viewer for reStructuredText (RST) documents.☆12Apr 3, 2026Updated 4 months ago
- A Mathematica package for generating symbolic models from data☆48Mar 19, 2022Updated 4 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.
- https://1000-plus.github.io/☆26Jul 22, 2026Updated 3 weeks ago
- Sphinx / Doxygen bridge☆15Jun 8, 2021Updated 5 years ago
- Experiments demonstrating coupled online learning for machine learning parameterizations☆22Mar 25, 2023Updated 3 years ago
- C# BlockChain parser☆10Dec 14, 2016Updated 9 years ago
- [EMNLP 22] UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression☆34Dec 7, 2022Updated 3 years ago
- Our first-year mathematics graduate school notes☆10Dec 20, 2021Updated 4 years ago
- Bounded verification of UML/OCL (or EMF/OCL) models☆17Jun 13, 2018Updated 8 years ago