Code for "Typilus: Neural Type Hints" PLDI 2020

Last update: Nov 08, 2022

Related tags

Deep Learning typilus

Overview

Typilus

A deep learning algorithm for predicting types in Python. Please find a preprint here.

This repository contains its implementation (src/) and experiments (exp/).

Please cite as:

@inproceedings{allamanis2020typilus,
  title={Typilus: Neural Type Hints},
  author={Allamanis, Miltiadis and Barr, Earl T and Ducousso, Soline and Gao, Zheng},
  booktitle={PLDI},
  year={2020}
}

Owner

GitHub Repository

Official implementation for "Image Quality Assessment using Contrastive Learning"

Image Quality Assessment using Contrastive Learning Pavan C. Madhusudana, Neil Birkbeck, Yilin Wang, Balu Adsumilli and Alan C. Bovik This is the offi

67 Dec 30, 2022

A LiDAR point cloud cluster for panoptic segmentation

Divide-and-Merge-LiDAR-Panoptic-Cluster A demo video of our method with semantic prior: More information will be coming soon! As a PhD student, I don'

65 Dec 22, 2022

PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and reinforcement learning

safe-control-gym Physics-based CartPole and Quadrotor Gym environments (using PyBullet) with symbolic a priori dynamics (using CasADi) for learning-ba

300 Dec 28, 2022

A simple Neural Network that predicts the label for a series of handwritten digits

Neural_Network A simple Neural Network that predicts the label for a series of handwritten numbers This program tries to predict the label (1,2,3 etc.

1 Dec 18, 2021

Simple PyTorch implementations of Badnets on MNIST and CIFAR10.

75 Dec 13, 2022

Codes for “A Deeply Supervised Attention Metric-Based Network and an Open Aerial Image Dataset for Remote Sensing Change Detection”

DSAMNet The pytorch implementation for "A Deeply-supervised Attention Metric-based Network and an Open Aerial Image Dataset for Remote Sensing Change

41 Dec 14, 2022

VQGAN+CLIP Colab Notebook with user-friendly interface.

VQGAN+CLIP and other image generation system VQGAN+CLIP Colab Notebook with user-friendly interface. Latest Notebook: Mse regulized zquantize Notebook

227 Jan 05, 2023

This is the Pytorch implementation of Progressive Attentional Manifold Alignment.

PAMA This is the Pytorch implementation of Progressive Attentional Manifold Alignment. Requirements python 3.6 pytorch 1.2.0+ PIL, numpy, matplotlib C

98 Nov 15, 2022

This is a collection of simple PyTorch implementations of neural networks and related algorithms. These implementations are documented with explanations,

labml.ai Deep Learning Paper Implementations This is a collection of simple PyTorch implementations of neural networks and related algorithms. These i

16.4k Jan 09, 2023

Code for "Typilus: Neural Type Hints" PLDI 2020

Related tags

Overview

Typilus

Owner

Official implementation for "Image Quality Assessment using Contrastive Learning"

A LiDAR point cloud cluster for panoptic segmentation

PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and reinforcement learning

A simple Neural Network that predicts the label for a series of handwritten digits

Simple PyTorch implementations of Badnets on MNIST and CIFAR10.

Codes for “A Deeply Supervised Attention Metric-Based Network and an Open Aerial Image Dataset for Remote Sensing Change Detection”

VQGAN+CLIP Colab Notebook with user-friendly interface.

This is the Pytorch implementation of Progressive Attentional Manifold Alignment.

This is a collection of simple PyTorch implementations of neural networks and related algorithms. These implementations are documented with explanations,

Contrastive Learning for Metagenomic Binning

Exploit ILP to learn symmetry breaking constraints of ASP programs.

Attendance Monitoring with Face Recognition using Python

[SIGGRAPH 2020] Attribute2Font: Creating Fonts You Want From Attributes

This repository contains the code needed to train Mega-NeRF models and generate the sparse voxel octrees

PyTorch implementation of GLOM

Sync2Gen Code for ICCV 2021 paper: Scene Synthesis via Uncertainty-Driven Attribute Synchronization

Object-Centric Learning with Slot Attention

This repo contains the official implementations of EigenDamage: Structured Pruning in the Kronecker-Factored Eigenbasis

Deeper DCGAN with AE stabilization

An implementation of the [Hierarchical (Sig-Wasserstein) GAN] algorithm for large dimensional Time Series Generation

Code for "Typilus: Neural Type Hints" PLDI 2020

Related tags

Overview

Typilus

Owner

Official implementation for "Image Quality Assessment using Contrastive Learning"

A LiDAR point cloud cluster for panoptic segmentation

PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and reinforcement learning

A simple Neural Network that predicts the label for a series of handwritten digits

Simple PyTorch implementations of Badnets on MNIST and CIFAR10.

Codes for “A Deeply Supervised Attention Metric-Based Network and an Open Aerial Image Dataset for Remote Sensing Change Detection”

VQGAN+CLIP Colab Notebook with user-friendly interface.

​ This is the Pytorch implementation of Progressive Attentional Manifold Alignment.

This is a collection of simple PyTorch implementations of neural networks and related algorithms. These implementations are documented with explanations,

Contrastive Learning for Metagenomic Binning

Exploit ILP to learn symmetry breaking constraints of ASP programs.

Attendance Monitoring with Face Recognition using Python

[SIGGRAPH 2020] Attribute2Font: Creating Fonts You Want From Attributes

This repository contains the code needed to train Mega-NeRF models and generate the sparse voxel octrees

PyTorch implementation of GLOM

Sync2Gen Code for ICCV 2021 paper: Scene Synthesis via Uncertainty-Driven Attribute Synchronization

Object-Centric Learning with Slot Attention

This repo contains the official implementations of EigenDamage: Structured Pruning in the Kronecker-Factored Eigenbasis

Deeper DCGAN with AE stabilization

An implementation of the [Hierarchical (Sig-Wasserstein) GAN] algorithm for large dimensional Time Series Generation

This is the Pytorch implementation of Progressive Attentional Manifold Alignment.