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

wherein I implement several substructural logics in Agda

Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker

ReScript bindings for react-native-paper

code for our CVPR 2020 paper "PQ-NET: A Generative Part Seq2Seq Network for 3D Shapes"

Dynamic Entity Summarization (DynES)

LSH index for approximate set containment search

Deep Atrous Guided Filter for Image Restoration in Under Display Cameras (UDC Challenge, ECCV 2020).

Flexible, open & solid paper Quest Plugin [with GUI]

Accessing Agda's interaction mode via command line & external tactic for Agda.

Official Code: A Sparse Gaussian Approach to Region-Based 6DoF Object Tracking

A curated (most recent) list of resources for Learning with Noisy Labels

No description or website provided.

A TACtic library for Agda

An unofficial api for downloading papers from SciHub via DOI, PMID

Code for the paper "Improving GANs Using Optimal Transport"

Univalent mathematics in Agda

🎓Automatically Update CV Papers Daily using Github Actions (Update Every 12th hours)

Simple lib to create inventory GUIs for Bukkit platforms.

Official code for "EagerMOT: 3D Multi-Object Tracking via Sensor Fusion" [ICRA 2021]

Seminar work "Decision Trees - An Introduction" with presentation, seminar paper, and Python implementation

TACL 2020: Syntax-Guided Controlled Generation of Paraphrases

📓 A curated list of deep learning image matting papers and codes

Paper collection of federated learning. Conferences and Journals Collection for Federated Learning from 2019 to 2021, Accepted Papers, Hot topics and good research groups. Paper summary

Mirai 未来 - A powerful Minecraft Server Software coming from the future

Implementations of recent research prototypes/demonstrations using MONAI.

Code and data for "Deep Reinforcement Learning of Marked Temporal Point Processes", NeurIPS 2018

Awesome list for cryptographic secure computation paper. This repo includes *Lattice*, *DifferentialPrivacy*, *MPC* and also a comprehensive summary for top conferences.

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

Functional Reactive Programming with Agda

Type Theory in Type Theory using Cubical Agda

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

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.

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.

Print Markdown to a paper in your terminal

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

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

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

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

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 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.

Category theory formalized in cubical agda

Research tools for analysing Cerberus banking trojan.

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

An implementation of the efficient attention module.

Complete download for papers in various top conferences

This repo is about NAS

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

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

Algebraic proof discovery in Agda

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

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

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

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 Segmentation Enhancements and Optimizations: A Stochastic Approach

Language Server for Agda

A formalization of category theory in cubical 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