gelc

gelc is a small, statically typed, domain-specific programming language designed for real-time embedded control systems and education. The language aims to provide safe, predictable behavior on resource-constrained hardware while remaining approachable for learners and practitioners.

gelc programs are compiled to efficient C code, allowing deployment on microcontrollers such as ARM Cortex-M devices and other embedded platforms. The compiler emphasizes deterministic memory management, typically avoiding a garbage collector in favor of fixed-size memory pools and predictable stack usage. A lightweight runtime provides essential services while keeping the footprint small.

Key features include a real-time task model with fixed-priority scheduling, strong typing, and explicit memory management. The language supports simple concurrency through tasks and inter-task communication channels, and offers algebraic data types, with a focus on minimal runtime overhead. Error handling is designed around Result types, enabling patterns similar to those found in other modern languages.

Syntax in gelc resembles a C-like familiar form but with higher-level abstractions. Modules and packages organize code, while functions and control structures cover common programming needs. The standard library exposes input/output, timers, and basic serial communication, and drivers for common sensors and actuators are provided by the ecosystem or as community contributions. The toolchain includes a gelc-compiler, a gelc-lint, and a gelc-sim appliance for hardware-in-the-loop testing.

Applications of gelc span robotics, home automation, and educational laboratories where deterministic behavior and clear abstractions are valued. Since its inception, gelc has attracted hobbyist and academic users, though its ecosystem remains smaller than more general-purpose languages, with ongoing development and expanding hardware support.