Pinned Loading

1. bohrin bohrin Public

   Check the checker: an open standard for testing the graders of RL environments, with proof before every accusation.

   Python 2

2. litmus64 litmus64 Public

   Your AI wrote the code and said it works. Litmus64 tries to prove it doesn't - then hands you a receipt listing what it tried, what survived, and what it could not check.

   Python

3. Daily-leetcode-challenges Daily-leetcode-challenges Public

   daily leetcode HARD challenges solutions

   Python

4. adduct adduct Public

   Finds the defects in your robot demonstration data that will break your policy — before you spend GPU-hours training. Static analysis for LeRobot, RLDS, robomimic, and Zarr datasets.

   Python

5. Quantum-CNN-for-Intelligent-Farming-system Quantum-CNN-for-Intelligent-Farming-system Public

   Jupyter Notebook

6. Machine-Learning-Projects Machine-Learning-Projects Public

   Machine learning projects and codes

   Jupyter Notebook