392 Open source projects that are alternatives of or similar to msla2014

Proof automation – for Agda, in Agda.

Source code of the paper "Leveraging textual properties of bug reports to localize relevant source files".

Purpur is a drop-in replacement for Paper servers designed for configurability, and new fun and exciting gameplay features.

Fielded Sequential Dependence Model (code and runs)

Book Library of P&W Studio

📦 Powerful Package manager which updates plugins & server software for minecraft servers

Code and models for the paper Shape-Texture Debiased Neural Network Training (ICLR 2021)

An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.

Joint Geographical and Temporal Modeling based on Matrix Factorization for Point-of-Interest Recommendation - ECIR 2020

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

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

FSL-Mate: A collection of resources for few-shot learning (FSL).

Official implementation of "An Algorithm for Routing Capsules in All Domains" (Heinsen, 2019) in PyTorch.

知网/万方 论文/期刊批量检索下载

Author's implementation of the paper "Deep Relative Attributes" (ACCV 2016)

Deciding Presburger arithmetic in agda

Mixin loader for Paper

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

Language Modelling Makes Sense - WSD (and more) with Contextual Embeddings

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

Code for the paper "A Similarity Measure for Material Appearance" presented in SIGGRAPH 2019 and published in ACM Transactions on Graphics (TOG).

Code for the paper "Improving GANs Using Optimal Transport"

Constructive Interpretations of HoTT

Rock Paper Scissors Game with Artificial Intellegence

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

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

任意のブロックにスクリプトを追加するプラグインです。

Performance-tuned Minecraft 1.8 spigot server

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

Code for our ACML and INTERSPEECH papers: "Speaker Diarization as a Fully Online Bandit Learning Problem in MiniVox".

The official repository for our paper "Are Neural Nets Modular? Inspecting Functional Modularity Through Differentiable Weight Masks". We develop a method for analyzing emerging functional modularity in neural networks based on differentiable weight masks and use it to point out important issues in current-day neural networks.

apkg - package manager for Agda

Implementation of the paper "YOLACT Real-time Instance Segmentation" in Tensorflow 2

A context encoder for audio inpainting

A place to keep track of all the annotated papers.

Incremental Methods of Deep Learning for Detection and Classifcation in a Robotics Environment

A fork of Purpur that aims to improve performance and add FabricMC compatibility.

A paper list with code of lane detection.

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

Code for the Neural GPU model originally described in "Neural GPUs Learn Algorithms"

Research tools for analysing Cerberus banking trojan.

Code for 2016 TPAMI(IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE) A Comprehensive Study on Cross-View Gait Based Human Identification with Deep CNNs

Print Markdown to a paper in your terminal

A curated list of the latest breakthroughs in AI (in 2021) by release date with a clear video explanation, link to a more in-depth article, and code.

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

This is a paper list about Resource Allocation in Network Functions Virtualization (NFV) and Software-Defined Networking (SDN).

Type Theory in Type Theory using Cubical Agda

An open information extraction system that provides compact extractions

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

个人博客；论文；机器学习；深度学习；Python学习；C++学习；

This repo is about NAS

Projects and useful articles / links

Image Segmentation Enhancements and Optimizations: A Stochastic Approach

텍스트 요약 분야의 주요 연구 주제, Must-read Papers, 이용 가능한 model 및 data 등을 추천 자료와 함께 정리한 저장소입니다.

The papers in this list are about 3d detection, especially those using point clouds.

Code accompanying the paper "Semi-supervised adversarial audio source separation applied to singing voice extraction"

agda-mode on VS Code

Unofficial! English original and Chinese translation of the paper.

Personalized Federated Learning with Moreau Envelopes (pFedMe) using Pytorch (NeurIPS 2020)

Summarizing the papers I have read (Japanese)