GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated proving of geometry theorems.
☆73Oct 22, 2026Updated last week
Alternatives and similar repositories for gclc
Users that are interested in gclc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Java Geometry Expert☆54Updated this week
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆10Jun 6, 2023Updated 3 years ago
- GeoGebra Discovery☆34Oct 21, 2026Updated last week
- ☆13Oct 31, 2021Updated 5 years ago
- A Lean (4) type checker written in RPython☆11Oct 26, 2026Updated last week
- 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.
- A Julia library for automated deduction in Euclidean geometry.☆25Aug 20, 2022Updated 4 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Feb 2, 2026Updated 9 months ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated 2 years ago
- Geometry in Coq for French high school [maintainer=@thery]☆21Jul 13, 2024Updated 2 years ago
- My Blog☆18Oct 17, 2026Updated 2 weeks ago
- many powerful tools for studying irreducible representations of SU(n), including making animations of hadron flavor-state multiplets☆13Jun 17, 2026Updated 4 months ago
- Tool for euclidean geometry aware of logic☆91Jun 4, 2024Updated 2 years ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆18Aug 6, 2026Updated 2 months ago
- Implementation of higher-order logic in Python☆68Feb 25, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Category Theory & Cobordism Categories in Lean 4☆16Jun 27, 2024Updated 2 years ago
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- Extensible multiple-dispatch style pattern matching in julia☆13Dec 26, 2019Updated 6 years ago
- Generally useful macros for C/C++ programming☆16Jun 29, 2024Updated 2 years ago
- ☆50Jun 27, 2022Updated 4 years ago
- FPGA1394 V3 PCB Design☆14Feb 24, 2025Updated last year
- repository for the collaborative formalization seminar in Analysis in Bonn☆11May 1, 2026Updated 6 months ago
- a collection of Gymnasium environments for saturation provers☆24Dec 25, 2025Updated 10 months 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.
- ILI9488 TFT SPI display library for Xilinx SoC and FPGA☆13Sep 13, 2025Updated last year
- A greyscale theme with look-n-feel of an eink display☆13Apr 15, 2023Updated 3 years ago
- PlusCal Cheat Sheet by Stephan Merz☆33Sep 27, 2024Updated 2 years ago
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- linear algebra done right in coq☆11Apr 6, 2021Updated 5 years ago
- Parse equations with Typst and manipulate or evaluate them.☆14Jun 5, 2026Updated 4 months ago
- A simple command-line bibtex query utility written in Lean 4☆11Oct 27, 2026Updated last week
- Formalization of the basic actuarial mathematics using Coq☆23Dec 11, 2024Updated last year
- an optimizing curry compiler☆15Nov 27, 2022Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Duality theory in linear optimization and its extensions☆12Feb 26, 2026Updated 8 months ago
- TikZ to SVG Converter☆13Jan 27, 2022Updated 4 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- Formally verified numerical integration of an ordinary differential equation☆13May 18, 2026Updated 5 months ago
- Formalizing convex polyhedra in Coq☆25Oct 7, 2026Updated 3 weeks ago
- Tool to generate markdown files from lean files. This is heavily inspired by lean2md.☆25Oct 8, 2026Updated 3 weeks ago
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆122Nov 22, 2023Updated 2 years ago