Pinned Repositories
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
caldav
GCW
pyaig
PyAIG: A simpe Python AIG and Truth Tables package
tensordict
TensorDict is a pytorch dedicated tensor container.
torchrl_mcts
This is a proof of concept on how MCTS can be implemented on top of TorchRL
rl
A modular, primitive-first, python-first PyTorch library for Reinforcement Learning.
tensordict
TensorDict is a pytorch dedicated tensor container.
dtsaras's Repositories
dtsaras/GCW
dtsaras/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
dtsaras/caldav
dtsaras/pyaig
PyAIG: A simpe Python AIG and Truth Tables package
dtsaras/tensordict
TensorDict is a pytorch dedicated tensor container.
dtsaras/torchrl_mcts
This is a proof of concept on how MCTS can be implemented on top of TorchRL