Typology is a work in progress attempt to implement type checking of Swift in Swift itself. Currently it uses SwiftSyntax as a parser, but is ready to switch to other pure Swift parsers in the future when any are available.
Same as the type checker in Apple's Swift compiler, Typology relies on the fact that you can express type systems with a set of constraints on types that are resolved through unification.