#

type-checked

Here are 5 public repositories matching this topic...

saltudelft / many-types-4-py-dataset

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

Work in progress compiler inspired by JAI

programming-language bytecode native llvm type-checked

Updated Apr 7, 2020
C

project-aries / classtype-parser

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

Type checked pipeline for processing Functions

java pipeline processor function pipeline-processor type-checked

Updated Dec 11, 2017
Java

project-aries / api-processor

Generic java API/interface processor

java processor type-checked api-processor interface-processor annotation-driven

Updated Dec 11, 2017
Java

Improve this page

Add a description, image, and links to the type-checked topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the type-checked topic, visit your repo's landing page and select "manage topics."