Giters
Dimitrios Tsaras (dtsaras)

dtsaras

Geek Repo

0

followers

2

following

29

stars

Github PK Tool:Github PK Tool

Dimitrios Tsaras's repositories

GCW

Language:C++Stargazers:3Issues:0Issues:0

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

caldav

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

pyaig

PyAIG: A simpe Python AIG and Truth Tables package

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

tensordict

TensorDict is a pytorch dedicated tensor container.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

torchrl_mcts

This is a proof of concept on how MCTS can be implemented on top of TorchRL

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0