Elc is a new static program verifier for the Rust programming language, providing a fresh way.
The name Elc is pronounced just as the elk (a.k.a. wapiti), a type of deer. The Rust programming language is known for its cute mascot, Ferris the crab, and the elk with horns may match nicely with the crab with scissors.
Elc's icon, shown above, depicts the head of an elk with fancy horns. Isn't it cool?
The name Elc also stands for Ergonomic logic for coding. Elc aims to provide a new programmer-friendly way to develop robust, logically verified programs.
elcc: Elc compiler based on rustcelc-proc: Procedural macros for Elcelc-examples: Examples for Elc
Elc is designed and developed by Yusuke Matsushita, a software scientist working at Kyoto University, Japan.
Stay tuned for future updates!