Skip to content

Repository files navigation

Elijah congenial-upper

The elijah-lang compiler.

Elijah is:

  • ... a high-level language built to explore code generation and other interesting techniques.
  • ... a historical curiosity.
  • ... meant to be easy to use standalone or with existing projects.
  • ... free software (LGPL) intended for use on all systems, aka Linux.
  • ... philosophically opposed to semicolons.
  • ... obsessed with curly braces and brackets.

congenial-robot is:

  • ... implemented in Java (17 is fine) and some Kotlin
  • ... built with maven

Instructions

https://github.com/elijah-team/congenial-upper

git clone https://github.com/elijah-team/congenial-upper
cd congenial-upper
(cd extra ; ./install-commit-msg )
./mvnw install

GOALS

  • Less noise
  • More verification
    • on the road to correctness

LINEAGE

Septagon - Starting over, again

Rosetta - Encapsulating state/environment. Pull model.

Congenial - Testability/verification

TODO

  • Make it compile
  • Make it correct
  • Make it compliant

About

Things that don't change much in congenial

Topics

Resources

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Used by

Contributors

Languages