Geometry Shorthand Language Compiler

Translate geometric constructions with elegance and precision

Download Now View Documentation
39+
Theorems
<1Ξs
Translation Speed
15+
Commands
4
Output Formats

Powerful Features

Everything you need for geometric construction translation

⚡

Lightning Fast

Translates complex geometric constructions in microseconds with optimized Rust performance.

ðŸŽŊ

Precise Translation

Converts shorthand to clear, natural English descriptions with mathematical accuracy.

🔄

Interactive Mode

Live REPL environment for real-time translation and exploration of geometric concepts.

📚

Theorem Database

Access 39+ geometric theorems with detailed descriptions and usage examples.

✅

Syntax Validation

Catch errors early with intelligent validation and helpful error messages.

📊

Code Analysis

Analyze complexity, count constructions, and visualize dependencies.

Comprehensive Command Set

Explore all available commands

gslc <shorthand>
Translate GSL shorthand to English
gslc -f <file.gsl>
Translate from file
gslc interactive
Start interactive REPL mode
gslc theorems
List all available theorems
gslc theorem <code>
Show detailed theorem information
gslc examples
Show usage examples
gslc validate
Validate GSL syntax
gslc stats
Analyze construction statistics
gslc --format latex
Output in LaTeX format
gslc --format json
Output in JSON format
gslc benchmark
Run performance benchmarks
gslc help
Show quick start guide

See It In Action

Watch GSLC translate geometric constructions in real-time

$ gslc "\\P:A,B/S:AB/R:3;AB=ABC\\"
1. Construct points A, B.
2. Connect segment AB.
3. Construct equilateral triangle ABC with side AB.
$ gslc stats "\\J:ABC/[ABC]=20\\"
Total Statements: 2
Polygons: 1 | Complexity Score: 2

From Shorthand to English

See how GSLC transforms concise notation into clear descriptions

GSL Shorthand
P:A,B,C/J:ABC
English Translation
Construct points A, B, C. Construct triangle ABC.
GSL Shorthand
C:O;5/[cO]=25π
English Translation
Construct a circle with center O and radius 5. Let the area of circle O be 25π.
GSL Shorthand
PB:AB=lCD/CCO:ABC=O
English Translation
Construct the perpendicular bisector of AB. Construct the circumcenter of ABC.

Perfect For

Who benefits from GSLC?

🎓 Students

Learn geometric constructions faster by seeing shorthand instantly translated into clear step-by-step instructions. Perfect for homework and exam preparation.

ðŸ‘Ļ‍ðŸŦ Teachers

Create lesson materials efficiently. Generate construction steps for worksheets, presentations, and textbooks in seconds.

📐 Mathematicians

Document complex geometric proofs with precision. Export to LaTeX for academic papers and research publications.

ðŸ’ŧ Developers

Integrate geometric construction translation into your applications with JSON output and programmatic access.

🏆 Competition Math

Quickly verify construction steps during math competitions. Access theorem database for instant reference.

📝 Technical Writers

Convert geometric notation into clear documentation. Multiple output formats for different publishing needs.

Get Started in Minutes

Simple installation process for all platforms

1

Install GSLC

Run the installation script in your terminal.

curl -sSf https://raw.githubusercontent.com/politikl/gslc/main/install.sh | sh
2

Add to PATH

Follow the instructions given by the compiler to add it to your binaries.

export PATH="$PATH:$HOME/.local/bin"
3

Start Using

You're ready to translate geometric constructions!

gslc help
gslc examples
gslc interactive
1

Install GSLC

Run the installation script in PowerShell.

iwr -useb https://raw.githubusercontent.com/politikl/gslc/main/install.ps1 | iex
2

Add to PATH

Follow the instructions given by the compiler to add it to your system PATH.

# Instructions will be provided by the installer
3

Start Using

You're ready to translate geometric constructions!

gslc help
gslc examples
gslc interactive

Frequently Asked Questions

Everything you need to know

What is GSL? ▾
Geometry Shorthand Language (GSL) is a concise notation system for expressing geometric constructions and proofs. It was created by LX and YY to make geometric notation more efficient and rigorous.
Is GSLC free? ▾
Yes! GSLC is completely free and open-source. You can view the source code, contribute, and use it for any purpose on GitHub.
What platforms are supported? ▾
GSLC supports macOS, Linux, and Windows. The compiler is written in Rust for maximum performance and cross-platform compatibility.
Can I use GSLC offline? ▾
Absolutely! GSLC is a command-line tool that runs entirely on your local machine. No internet connection required after installation.
How do I learn GSL syntax? ▾
Visit the documentation at tinyurl.com/gsldocumentation for a complete guide. You can also use the built-in examples command: `gslc examples` to see common patterns.
Can I export to LaTeX? ▾
Yes! GSLC supports multiple output formats including LaTeX, Markdown, JSON, and HTML. Use the --format flag to specify your desired output format.