hongjianjiang

kissat

AALpy

An Automata Learning Library Written in Python

haskell-regexp

Regular Expression Matching in Haskell

ostrich

An SMT Solver for string constraints

frap

Formal Reasoning About Programs

dlwpt-code

Code for the book Deep Learning with PyTorch by Eli Stevens, Luca Antiga, and Thomas Viehmann.

NYU-DLSP20

NYU Deep Learning Spring 2020

utp-main

An implementation of Hoare and He's Unifying Theories of Programming in Isabelle

DeepLearning

Python for《Deep Learning》，该书为《深度学习》(花书) 数学推导、原理剖析与源码级别代码实现

atari-representation-learning

Code for "Unsupervised State Representation Learning in Atari"

PARL

A high-performance distributed training framework for Reinforcement Learning

tf2rl

TensorFlow2 Reinforcement Learning

Deep_reinforcement_learning_Course

Implementations from the free course Deep Reinforcement Learning with Tensorflow and PyTorch

experiments_with_python

experiments with python

deepmath

deep learning for math

cadet

A fast and certifying solver for quantified Boolean formulas.

synthetic_qbf_formulas

awesome-ml4co

Awesome machine learning for combinatorial optimization papers.

network_research

Python code and data files, mainly about network communities detection

reinforcement-learning

Implementation of Reinforcement Learning Algorithms. Python, OpenAI Gym, Tensorflow. Exercises and Solutions to accompany Sutton's Book and David Silver's course.

Reinforce

Reinforcement Learning Algorithm Package & PuckWorld, GridWorld Gym environments

eat_pytorch_in_20_days

Pytorch🍊🍉 is delicious, just eat it! 😋😋

Policy_Gradients_to_beat_Pong

This is the code for the "How to Beat Pong Using Policy Gradients (LIVE)" by Siraj Raval on Youtube

SVMRanker

sbid-ava

🔮内生安全建模工具，基于.Net Core 3.0的Avalonia跨平台桌面应用。

TensorFlow-Course

:satellite: Simple and ready-to-use tutorials for TensorFlow

Coursera-ML-AndrewNg-Notes

吴恩达老师的机器学习课程个人笔记

Deep-Learning-with-PyTorch-Tutorials

深度学习与PyTorch入门实战视频教程 配套源代码和PPT

paraVerifier

paraVeriifer

leetcode

LeetCode Solutions: A Record of My Problem Solving Journey.( leetcode题解，记录自己的leetcode解题之路。)