Logos Language does auto-memoization, loop unrolling, lifting/lowering, auto-vectorization pipelining, and a lot more at compile time.

I've been working pretty hard on Logos language, and would love y'alls thoughts. The thing I've been working on lately is trying to add proper self-evaluating futamura projections (All 3!) and then I want to use that to create a Jones Optimal copy-patch interpreter.

It has curry-howard correspondence, a CoC kernel with inductive and refinement types. You can use it to prove english sentences via modal logic. The code reads like english and can compile to Rust or C. (C support is not as comprehensive yet as rust!)

My favorite part of working on this project has been adding optimizations to the compiler and really just providing hints wherever I can to LLVM.

Would love some feedback on it! Check the language guide out or the studio and let me know what you all think. https://www.logicaffeine.com/