Popular repositories Loading

1. Battlesnake_RLlib Battlesnake_RLlib Public

   Python 1

2. Reinforcement_Learning_for_Logic_Optimization Reinforcement_Learning_for_Logic_Optimization Public

   A project aimed to improve logic synthesis by applying reinforcement learning to the problem.

   Verilog 1

3. abc abc Public

   Forked from berkeley-abc/abc

   ABC: System for Sequential Logic Synthesis and Formal Verification

   C

4. RLfLO_mockturtle RLfLO_mockturtle Public

   C++

5. snake_dqn snake_dqn Public

   A simple DQN learner that learns to play Snake

   Python