GitHub topics: type-checked
project-aries/api-processor
Generic java API/interface processor
Language: Java - Size: 246 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
saltudelft/many-types-4-py-dataset
ManyTypes4Py: A benchmark Python dataset for machine learning-based type inference
Language: Jupyter Notebook - Size: 14.6 MB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 18 - Forks: 5
EvCholesky/Moe
Work in progress compiler inspired by JAI
Language: C++ - Size: 2.06 MB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 5 - Forks: 1
project-aries/pipeline-processor
Type checked pipeline for processing Functions
Language: Java - Size: 141 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
project-aries/classtype-parser
Parse Types from any Object into a node/tree structure
Language: Java - Size: 230 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0