type-checked

There are 5 repositories under type-checked topic.

saltudelft/many-types-4-py-dataset
ManyTypes4Py: A benchmark Python dataset for machine learning-based type inference
Language:Jupyter Notebook18 7 35
EvCholesky/Moe
Work in progress compiler inspired by JAI
Language:C++7 5 01
project-aries/api-processor
Generic java API/interface processor
Language:Java0 2 90
project-aries/classtype-parser
Parse Types from any Object into a node/tree structure
Language:Java0 2 00
project-aries/pipeline-processor
Type checked pipeline for processing Functions
Language:Java0 3 00