A garden of small programming language implementations 🪴
Normalization by evaluation for Martin-Löf Type Theory with dependent records
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.
Semantic Type Reference Set
Add a description, image, and links to the semantic-typechecking topic page so that developers can more easily learn about it.
To associate your repository with the semantic-typechecking topic, visit your repo's landing page and select "manage topics."