GeoGebra Discovery
☆28May 25, 2026Updated 3 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:
- A Python interface to the MAGMA libraries☆10Sep 3, 2016Updated 9 years ago
- Experience Analysis Utility Functions☆11May 14, 2026Updated last month
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 3 years ago
- pMath is a programming language similar in spirit to Mathematica (symbolic manipulation & pattern matching) which wants to be a full Comp…☆10Jun 10, 2026Updated last week
- A Probability Theory Library for the Coq Theorem Prover☆55Oct 6, 2023Updated 2 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.
- A gentle introduction to Isabelle and Isabelle/HOL☆20Mar 27, 2025Updated last year
- Machine learning algorithms for discovering dimensionless groups from simulation and experimental data☆16Oct 12, 2022Updated 3 years ago
- ☆17Dec 14, 2017Updated 8 years ago
- A small Coq library for collecting side conditions and deferring their proof☆26Oct 14, 2019Updated 6 years ago
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆27May 28, 2026Updated 3 weeks ago
- Retired: Feedforward Convolutional Neural Network for Mathematica☆13Jul 7, 2017Updated 8 years ago
- ☆19Jan 20, 2025Updated last year
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆34Jun 7, 2018Updated 8 years ago
- Formalizing convex polyhedra in Coq☆24Mar 12, 2026Updated 3 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Code related to things I post about online☆21Mar 7, 2016Updated 10 years ago
- A test sample to create Installation package for RealDWG using Wix toolset☆10Mar 23, 2022Updated 4 years ago
- Formalization of the basic actuarial mathematics using Coq☆23Dec 11, 2024Updated last year
- Formally verified operator language and rewriting engine for high-performance computing☆34May 31, 2026Updated 2 weeks ago
- ☆33May 27, 2026Updated 3 weeks ago
- Live viewer for reStructuredText (RST) documents.☆12Apr 3, 2026Updated 2 months ago
- 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
- Visualize subsets of PSL(2,R) in exterior solid torus model☆13Aug 20, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A concise cheat sheet for essential vim commands☆13Mar 31, 2019Updated 7 years ago
- ☆22Dec 3, 2024Updated last year
- An HTML documentation generator for Coq source files☆31Updated this week
- C# BlockChain parser☆10Dec 14, 2016Updated 9 years ago
- Some CSS experiments for arXiv HTML documents converted via latexml☆20Jun 10, 2026Updated last week
- Virtual notebook that Evan uses for his PhD thesis.☆12May 26, 2026Updated 3 weeks ago
- Solution for the 2nd place in Telegram Data Clustering Contest (https://contest.com/docs/data_clustering2).☆12Nov 19, 2020Updated 5 years ago
- JavaScript knot drawing and identification tool☆11Jul 20, 2016Updated 9 years ago
- Framework for Algorithmic Correctness Testing of Operators☆16Mar 9, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Tools for managing the TeX sources of the Stacks project☆16Jun 8, 2024Updated 2 years ago
- This is the repository of code and data for paper "Machine learning-enabled chemical space exploration of all-inorganic perovskites for p…☆11Sep 23, 2024Updated last year
- Our first-year mathematics graduate school notes☆10Dec 20, 2021Updated 4 years ago
- Implementation of https://arxiv.org/abs/1612.03301☆10Oct 13, 2017Updated 8 years ago
- Extract PDFmark can extract page mode and named destinations as PDFmark from PDF.☆17Jan 11, 2023Updated 3 years ago
- ☆23Jun 8, 2026Updated last week
- The latest documentation for the Materials Project.☆14Jun 9, 2026Updated last week