semantic-typechecking

There are 3 repositories under semantic-typechecking topic.

  • brendanzab/rust-nbe-for-mltt

    Normalization by evaluation for Martin-Löf Type Theory with dependent records

    Language:Rust961206

  • tsegall/fta

    Metadata/data identification Java library. Identifies Semantic Type information (e.g. Gender, Age, Color, Country,...). Extensive country/language support. Extensible via user-defined plugins. Comprehensive Profiling support.

    Language:Java275603

  • tsegall/semantic-types

    Semantic Type Reference Set

    Language:Go1211