GitHub repository: reilabs/hieratika
Primary language: Cairo
Description: Compiling LLVM bytecode to run on top of the CairoVM and execute provably on Starknet