397 Open source projects that are alternatives of or similar to AutoInAgda

A collection of paper summaries from a wide range of topics related to Machine Learning

工程师的自我修养

Functional Reactive Programming with Agda

A Mixin and Access Widener mod loader for Spigot/Paper

Type Theory in Type Theory using Cubical Agda

about Speech enhancement

SHIELD: Fast, Practical Defense and Vaccination for Deep Learning using JPEG Compression

Generative Latent Implicit Conditional Optimization when Learning from Small Sample ICPR 20'

This project is a collection of recent research in areas such as new infrastructure and urban computing, including white papers, academic papers, AI lab and dataset etc.

Nice and flexible template environment for papers written in LaTeX

A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with all the proofs you could possibly need.

Pytorch Implementation of AlexNet

Print Markdown to a paper in your terminal

Papers with code. Sorted by stars. Updated weekly.

AdvPC: Transferable Adversarial Perturbations on 3D Point Clouds (ECCV 2020)

Cure53 Browser Security White Paper

CUDA implementation of the paper "Depth Super-Resolution Meets Uncalibrated Photometric Stereo"

awesome grounding: A curated list of research papers in visual grounding

Code repository of the paper Learning Long-Term Dependencies in Irregularly-Sampled Time Series

ENet - A Neural Net Architecture for real time Semantic Segmentation

The most popular Skywars plugin ever built for Spigot and Bukkit!

Code for the paper "Language Models are Unsupervised Multitask Learners"

An up-to-date & curated list of Awesome IMU-based Human Activity Recognition(Ubiquitous Computing) papers, methods & resources. Please note that most of the collections of researches are mainly based on IMU data.

🚗 the collection of vehicle re-ID papers, datasets. 🚗

The official repository for our paper "The Devil is in the Detail: Simple Tricks Improve Systematic Generalization of Transformers". We significantly improve the systematic generalization of transformer models on a variety of datasets using simple tricks and careful considerations.

Official PyTorch Implementation for "Rotate to Attend: Convolutional Triplet Attention Module." [WACV 2021]

Category theory formalized in cubical agda

NFNets and Adaptive Gradient Clipping for SGD implemented in PyTorch

Research tools for analysing Cerberus banking trojan.

2020-2021年计算机视觉综述论文分方向整理

A fork of the Paper (Bukkit) API for use in Glowstone

A collection of research papers categorized by real-world systems that enact them

An implementation of the efficient attention module.

Summaries of machine learning papers

Complete download for papers in various top conferences

Paper is a fast NoSQL-like storage for Java/Kotlin objects on Android with automatic schema migration support.

This repo is about NAS

华中科技大学本科毕业论文LaTeX模板 2017

A list of recent papers regarding knowledge-based machine reading comprehension.

A stable algorithm for GAN training

Code for the ICPR 2020 paper: "CURL: Neural Curve Layers for Image Enhancement"

Efficient adaptive non-maximal suppression algorithms for homogeneous spatial keypoint distribution

Algebraic proof discovery in Agda

Your bibliography on the command line

code for our ICCV 2021 paper "DeepCAD: A Deep Generative Network for Computer-Aided Design Models"

免费分享区块链白皮书，涉及各门各派。内容均来自互联网，如果侵权，请联系删除。 区块链白皮书 weixin：mipengchong

Dataset used in "PlantDoc: A Dataset for Visual Plant Disease Detection" accepted in CODS-COMAD 2020

Code for the blog post "Learning Montezuma’s Revenge from a Single Demonstration"

🍀 Pytorch implementation of various Attention Mechanisms, MLP, Re-parameter, Convolution, which is helpful to further understand papers.⭐⭐⭐

Add custom NBT tags to Items/Tiles/Entities without NMS!

Bukkit/Spigot/Paper based Minecraft server used by Minebench.de | Looking for an 1.17 version? If so most patches are PRd into Paper now, Origami 1.17 will continue once patches that Paper wont accept are necessary.

Image Deblurring using Generative Adversarial Networks

Image Segmentation Enhancements and Optimizations: A Stochastic Approach

Small library containing various image processing algorithms (+ Python 3 bindings) that has almost no dependencies -- Moved to Gnome's Gitlab

Language Server for Agda

This project is an unofficial implementation of the paper: Arbitrary Style Transfer in Real-time with Adaptive Instance Normalization

Fielded Sequential Dependence Model (code and runs)

Reading notes on deep learning papers---深度学习论文阅读笔记

Voxel Sniper fork for modern Minecraft versions utilizing the improvements of FastAsyncWorldEdit

Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.