Skip to content

elijah-team/congenial-robot

Repository files navigation

Elijah congenial-robot

The elijah-lang compiler.

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

git clone https://github.com/elijah-team/congenial-robot
./mvnw test

This project is licensed under LGPL.

You will need JVM 17 and Maven.

GOALS

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

LINEAGE

Septagon - Starting over, again

Rosetta - Encapsulating state/environment. Pull model.

Congenial - Testablility/verification

TODO #2

  1. Add tools
  2. Separation
  3. Verification
  4. Inference

TODO #1

  1. Convert to ant
  2. Finish vision
  3. Stop fuddling

About

Elijah with Kotlin characteristics

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors

Languages