Train transformer language models with reinforcement learning.

A simple, decentralized mesh VPN with WireGuard support.

A Python implementation of ProVe. ProVe is a formal verifier for safety property for Artificial Neural Networks, presented at the 37th conference on Uncertainty in Artificial Intelligence.

ETH Robustness Analyzer for Deep Neural Networks

Neural Network Verification Software Tool

PDEBench: An Extensive Benchmark for Scientific Machine Learning

Python sample codes and textbook for robotics algorithms.

An engine for high performance multi-agent environments with very large numbers of agents, along with a set of reference environments

Windows inside a Docker container.

基于Dineshkarthik的项目， 电报视频下载，电报资源下载，跨平台，支持web查看下载进度 ，支持bot下发指令下载，支持下载已经加入的私有群但是限制下载的资源， telegram media download,Download media files from a telegram conversation/chat/channel up to 2GiB per file

CodeProject.AI Server is a self contained service that software developers can include in, and distribute with, their applications in order to augment their apps with the power of AI.

An elegant PyTorch deep reinforcement learning library.

PyTorch implementations of deep reinforcement learning algorithms and environments

MATLAB example on how to use Reinforcement Learning for developing a financial trading model

Solutions of Reinforcement Learning, An Introduction

Master Reinforcement and Deep Reinforcement Learning using OpenAI Gym and TensorFlow

✅ Solutions to LeetCode by Go, 100% test coverage, runtime beats 100% / LeetCode 题解

Demonstrate all the questions on LeetCode in the form of animation.（用动画的形式呈现解LeetCode题目的思路）

Two Dimensional Fokker-Planck Solver using Matlab

Numerically solve the Fokker-Planck equation in N dimensions

A library for scientific machine learning and physics-informed learning

Semi-supervised GAN in "Improved Techniques for Training GANs"

A docker for run CrossOver though VNC remote manage

深度学习500问，以问答形式对常用的概率知识、线性代数、机器学习、深度学习、计算机视觉等热点问题进行阐述，以帮助自己及有需要的读者。 全书分为18个章节，50余万字。由于水平有限，书中不妥之处恳请广大读者批评指正。 未完待续............ 如有意合作，联系[email protected] 版权所有，违权必究 Tan 2018.06

Python exercises accompanying the book "Neuronal Dynamics"

Brian 2 version of Paper "Unsupervised Learning of digit recognition using STDP"

A python implementation of a spiking neural network with STDP and Reinforcement learning methods

Supplementary material for the paper "Goal-directed decision making with spiking neurons"