Beast code in Giters

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.

Language:Jupyter NotebookMIT20315 860 155

dspy

DSPy: The framework for programming—not prompting—foundation models

Language:PythonMIT15702 131 662

stable-baselines3

PyTorch version of Stable Baselines, reliable implementations of reinforcement learning algorithms.

Language:PythonMIT8555 60 1444

cleanrl

High-quality single file implementation of Deep Reinforcement Learning algorithms with research-friendly features (PPO, DQN, C51, DDPG, TD3, SAC, PPG)

Language:PythonNOASSERTION5061 35 180

lark

Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.

Language:PythonMIT4706 59 888

open_spiel

OpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games.

Language:C++Apache-2.04135 108 546

Pearl

A Production-ready Reinforcement Learning AI Agent Library brought by the Applied Reinforcement Learning team at Meta.

Language:Jupyter NotebookMIT2553 32 56

sage

Main repository of SageMath

Language:PythonNOASSERTION1255 9 35628

MatX

An efficient C++17 GPU numerical computing library with Python-like syntax

Language:C++BSD-3-Clause1172 24 180

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!

Language:ShellApache-2.01124 19 161

awesome-parallel-computing

A curated list of awesome parallel computing resources

639 310

pyreason

An explainable inference software supporting annotated, real valued, graph based and temporal logic

Language:PythonNOASSERTION169 5 37

minisat

A minimalistic and high-performance SAT solver

Language:C++NOASSERTION140 5 5

parglare

A pure Python LR/GLR parser - http://www.igordejanovic.net/parglare/

Language:PythonMIT135 11 108

satch

SAT Solver SATCH

Language:CMIT101 15 4

BDD

An integer linear program solver using a Lagrange decomposition into binary decision diagrams. Lagrange multipliers are updated through dual block coordinate ascent.

Language:C++GPL-3.054 2 5