semantic-typechecking topic
List
semantic-typechecking repositories
rust-nbe-for-mltt
90
Stars
7
Forks
Watchers
Normalization by evaluation for Martin-Löf Type Theory with dependent records
fta
22
Stars
2
Forks
Watchers
Metadata/data identification Java library. Identifies Semantic Type information (e.g. Gender, Age, Color, Country,...). Extensive country/language support. Extensible via user-defined plugins. Compreh...