saltudelft / many-types-4-py-dataset Star 18 Code Issues Pull requests ManyTypes4Py: A benchmark Python dataset for machine learning-based type inference python benchmark machine-learning msr clean dataset type-inference type-annotations type-checked manytypes4py visible-type-hints mt4py Updated Mar 27, 2022 Jupyter Notebook
EvCholesky / Moe Star 6 Code Issues Pull requests Work in progress compiler inspired by JAI programming-language bytecode native llvm type-checked Updated Apr 7, 2020 C++
project-aries / classtype-parser Star 0 Code Issues Pull requests Parse Types from any Object into a node/tree structure java utils processor generic primitives type type-checked processor-tools Updated May 11, 2018 Java
project-aries / pipeline-processor Star 0 Code Issues Pull requests Type checked pipeline for processing Functions java pipeline processor function pipeline-processor type-checked Updated Dec 11, 2017 Java
project-aries / api-processor Star 0 Code Issues Pull requests Generic java API/interface processor java processor type-checked api-processor interface-processor annotation-driven Updated Dec 11, 2017 Java