type-checked

There are 0 repository under type-checked topic.

• saltudelft / many-types-4-py-dataset

  ManyTypes4Py: A benchmark Python dataset for machine learning-based type inference

  datasettype-inferencemachine-learningpythonbenchmarkmanytypes4pytype-annotationsvisible-type-hintsmt4pymsrtype-checkedclean
  Language:Jupyter Notebook 18

• EvCholesky / Moe

  Work in progress compiler inspired by JAI

  llvmtype-checkedprogramming-languagebytecodenative
  Language:C++ 6

• project-aries / api-processor

  Generic java API/interface processor

  javaapi-processortype-checkedprocessorinterface-processorannotation-driven
  Language:Java 0

• project-aries / classtype-parser

  Parse Types from any Object into a node/tree structure

  javatype-checkedutilsprocessorprocessor-toolsgenericprimitivestype
  Language:Java 0

• project-aries / pipeline-processor

  Type checked pipeline for processing Functions

  javapipelinepipeline-processorfunctiontype-checkedprocessor
  Language:Java 0