GeoGebra Discovery
☆27Apr 3, 2026Updated 2 weeks ago
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:
- Jupyter client☆15Jul 12, 2025Updated 9 months ago
- 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
- Clone of isabelle, with LSP extensions in seperate branches☆28Apr 10, 2026Updated last week
- Experience Analysis Utility Functions☆11Feb 16, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Mathematica Notebooks☆14Jun 16, 2013Updated 12 years ago
- Graph-based neural tactic prediction models for Coq.☆15Sep 17, 2025Updated 7 months ago
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 9 years ago
- https://1000-plus.github.io/☆24Apr 7, 2026Updated last week
- pMath is a programming language similar in spirit to Mathematica (symbolic manipulation & pattern matching) which wants to be a full Comp…☆10Updated this week
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated last year
- A Probability Theory Library for the Coq Theorem Prover☆54Oct 6, 2023Updated 2 years ago
- An example that demonstrates how to write Python libraries in OCaml using pyml and pythonlib.☆16Feb 15, 2023Updated 3 years ago
- Constrained LUmping of differential Equations☆13Sep 12, 2024Updated last year
- 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 small Coq library for collecting side conditions and deferring their proof☆26Oct 14, 2019Updated 6 years ago
- F4 algorithm C++ library (groebner basis computations over finite fields)☆14Apr 6, 2018Updated 8 years ago
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆26Mar 3, 2026Updated last month
- A tiny, fast, configurable popover in 1.6kb.☆13Jan 3, 2023Updated 3 years ago
- Retired: Feedforward Convolutional Neural Network for Mathematica☆13Jul 7, 2017Updated 8 years ago
- A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi,@lweqx,@MysaaJava]☆28Updated this week
- Video import and export in Mathematica using Media Foundation☆11Aug 2, 2014Updated 11 years ago
- LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.☆68Mar 10, 2026Updated last month
- Linter component for Isabelle.☆20Dec 20, 2025Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Code related to things I post about online☆21Mar 7, 2016Updated 10 years ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆38Apr 3, 2026Updated 2 weeks ago
- Hyphenation of English words☆13Dec 21, 2016Updated 9 years ago
- An implementation of the Jaro-Winkler distance algorithm (measure of string similarity) in CoffeeScript☆18Jun 11, 2014Updated 11 years ago
- Formally verified operator language and rewriting engine for high-performance computing☆30Jun 13, 2024Updated last year
- Experiments demonstrating coupled online learning for machine learning parameterizations☆22Mar 25, 2023Updated 3 years ago
- Computes the alpha complex of a point set in any dimension☆14Mar 10, 2015Updated 11 years ago
- Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.☆37Nov 1, 2022Updated 3 years ago
- ☆16Oct 27, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A Mathematica package for generating symbolic models from data☆48Mar 19, 2022Updated 4 years ago
- Python JIT transpiler to C++☆15Jan 14, 2020Updated 6 years ago
- Sources of the EuroProofNet web site.☆13Updated this week
- A concise cheat sheet for essential vim commands☆13Mar 31, 2019Updated 7 years ago
- Sphinx / Doxygen bridge☆15Jun 8, 2021Updated 4 years ago
- Render bitmap pixels with canvas-style APIs.☆16Jun 1, 2024Updated last year
- Virtual notebook that Evan uses for his PhD thesis.☆10Apr 11, 2026Updated last week