rusttyc (cargo): A library for writing type checkers with a lattice-like type system in rust.
Keywords: types|lattice|typechecker