The elijah-lang compiler.
https://github.com/elijah-team/congenial-robot
git clone https://github.com/elijah-team/congenial-robot
./mvnw testThis project is licensed under LGPL.
You will need JVM 17 and Maven.
- Less noise
- More verification
- on the road to correctness
Septagon - Starting over, again
Rosetta - Encapsulating state/environment. Pull model.
Congenial - Testablility/verification
- Add tools
- Separation
- Verification
- Inference
- Convert to ant
- Finish vision
- Stop fuddling