Projects in Awesome Lists tagged with semantic-typechecking
A curated list of projects in awesome lists tagged with semantic-typechecking .
https://github.com/brendanzab/rust-nbe-for-mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
bidirectional-typechecking debruijn-indices dependent-record-types dependent-records dependent-types normalization-by-evaluation rust semantic-typechecking type-checker type-inference type-system type-theory unification
Last synced: 08 Sep 2025
https://github.com/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.
data-discovery data-profiler data-profiling date java metadata semantic-type-detection semantic-typechecking semantic-types
Last synced: 06 Feb 2026
