Topic: "semantic-typechecking"
brendanzab/rust-nbe-for-mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
Language: Rust - Size: 862 KB - Last synced at: 12 months ago - Pushed at: almost 3 years ago - Stars: 90 - Forks: 7
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: Java - Size: 6.9 MB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 28 - Forks: 3
tsegall/semantic-types
Semantic Type Reference Set
Language: Go - Size: 434 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 1