Compare software

GCLC vs Kig: catalog facts
GCLC	Kig
Best for: Students and educators working with geometry constructions and proofs	Best for: Teachers and students exploring geometry constructions on a desktop
Free The source code is published under the MIT license.	Free Free and open source as part of the KDE applications.
Windows, Linux, Web, Command line	macOS, Linux
Combines geometric drawing with theorem proving Offers graphical, command-line, and web versions All 3 strengths for GCLC Combines geometric drawing with theorem proving Offers graphical, command-line, and web versions Exports to SVG and LaTeX formats	Constructions update live as you drag elements Extensible with macros and Python scripting All 3 strengths for Kig Constructions update live as you drag elements Extensible with macros and Python scripting Doubles as a tool for drawing mathematical figures
Uses the GCL language to describe constructions	No Windows or mobile version listed Narrower in scope than GeoGebra
Downloadable app, Web application	Downloadable app
Open source	Open source
License: MIT	License: GPL-2.0-or-later
Not stated if an account is needed	No account needed
Not stated if it works offline	Offline features available
Official website Full listing and sources Sources for GCLC github.com/ADG-Foundation/gclc Catalog checked October 8, 2026	Official website Full listing and sources Sources for Kig apps.kde.org/kig Catalog checked September 24, 2026

“Not stated” means we have not confirmed it. Features can vary by device and plan.