GeoGebra Discovery
☆33Oct 16, 2026Updated this week
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:
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆73Sep 1, 2026Updated last month
- Web-based formula editor that creates strict content MathML☆13Feb 8, 2022Updated 4 years ago
- A Python interface to the MAGMA libraries☆10Sep 3, 2016Updated 10 years ago
- Experience Analysis Utility Functions☆11May 14, 2026Updated 5 months ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆49Aug 26, 2026Updated last month
- 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.
- A Probability Theory Library for the Coq Theorem Prover☆55Oct 6, 2023Updated 3 years ago
- 🗺 Mandelbrot set and Julia set explorer made with React and WebGL☆27Sep 30, 2025Updated last year
- Constrained LUmping of differential Equations☆14Sep 12, 2024Updated 2 years ago
- ☆17Dec 14, 2017Updated 8 years ago
- Benchmark for evaluating Coq proof search tools.☆12Apr 27, 2026Updated 5 months ago
- A tiny, fast, configurable popover in 1.6kb.☆13Jan 3, 2023Updated 3 years ago
- An example that demonstrates how to write Python libraries in OCaml using pyml and pythonlib.☆16Feb 15, 2023Updated 3 years 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 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Experimenting with special ratios to guide grids for composition☆16Apr 23, 2018Updated 8 years ago
- Retired: Feedforward Convolutional Neural Network for Mathematica☆13Jul 7, 2017Updated 9 years ago
- Free browser-based Smith chart for impedance matching. Ladder networks, VSWR, Q, Touchstone import, amplifier design. No install.☆16Oct 5, 2026Updated 2 weeks ago
- transform a javascript / html5 application to APK☆13Sep 29, 2024Updated 2 years ago
- Fully featured SDK for Binance DEX. Use it, make some profit in crypto, spread the word, support mass adoption. :)☆12Apr 30, 2019Updated 7 years ago
- A gentle introduction to Isabelle and Isabelle/HOL☆24Mar 27, 2025Updated last year
- Some notes, diagrams and animations to help understanding the basis of holography☆14Mar 25, 2021Updated 5 years ago
- A test sample to create Installation package for RealDWG using Wix toolset☆10Mar 23, 2022Updated 4 years ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆34Jun 7, 2018Updated 8 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.
- MLAB hardware modules and building blocks☆17Sep 30, 2023Updated 3 years ago
- Basic Polynomial Algebra Subprograms☆19Jul 29, 2025Updated last year
- Formalizing convex polyhedra in Coq☆24Oct 7, 2026Updated last week
- Comprehensive univariate polynomial class. All arithmetic performed symbolically. Some advanced features include: Arithmetic of polynomia…☆11Oct 15, 2023Updated 3 years ago
- Repository containing starters templates to be used within Kodu☆15Sep 26, 2024Updated 2 years ago
- "Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis" (ICML 2025) official implementation.☆16Jun 8, 2025Updated last year
- Sources of the EuroProofNet web site.☆13Sep 3, 2026Updated last month
- Service App to run scrips for algo trading and manage market data: https://www.youtube.com/playlist?list=PLbiaIO7sG7FYlrgOV1XLHrnaufJ7fK…☆11Mar 22, 2019Updated 7 years ago
- Computes the alpha complex of a point set in any dimension☆14Mar 10, 2015Updated 11 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.
- Finite field polynomial arithmetic based on fast Fourier transforms☆19Nov 15, 2020Updated 5 years ago
- A Mathematica package for generating symbolic models from data☆48Mar 19, 2022Updated 4 years ago
- Linear assignment problem solver for .NET.☆11Jan 24, 2026Updated 8 months ago
- C# BlockChain parser☆10Dec 14, 2016Updated 9 years ago
- Live viewer for reStructuredText (RST) documents.☆12Apr 3, 2026Updated 6 months ago
- Encyclopedia of Combinatorial Structures☆16Jun 27, 2018Updated 8 years ago
- Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.☆37Nov 1, 2022Updated 3 years ago