abstraps (cargo): Extensible compiler middle layer with abstract interpretation and code generation to MLIR.
Keywords: abstract-interpretation|compiler-design|intermediate-representation