Topic: "semantic-typechecking"
brendanzab/language-garden
A garden of small programming language implementations 🪴
Language: OCaml - Size: 2.01 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 250 - Forks: 6
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: about 1 year ago - Pushed at: about 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: 7.89 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 28 - Forks: 3
tsegall/semantic-types
Semantic Type Reference Set
Language: Go - Size: 435 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 1