Taha Rostami's starred repositories
reinforcement-learning
Implementation of Reinforcement Learning Algorithms. Python, OpenAI Gym, Tensorflow. Exercises and Solutions to accompany Sutton's Book and David Silver's course.
stable-baselines3
PyTorch version of Stable Baselines, reliable implementations of reinforcement learning algorithms.
open_spiel
OpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games.
Applied-Deep-Learning
Applied Deep Learning Course
reality-ezpz
Install sing-box/xray and configure vless / tuic / hysteria2 / shadowtls for reality or tls (letsencrypt) over different transport protocols (tcp, http, grpc and websocket) with user management capability in CLI, TUI and Telegram bot by a single command in docker compose!
awesome-parallel-computing
A curated list of awesome parallel computing resources
py-aiger-cnf
Code for transforming aiger expression into an equi-satisifabile aiger expression in CNF form.
mathcheck2
GitHub mirror of the MathCheck repository
glucose-win
Windows builds for The Glucose SAT Solver.
DPLL_SATSolver
SAT Solver using the classical DPLL algorithm
SAT_solver
Implementation of CDCL SAT solver in Python