Pinned Loading

1. kaolin kaolin Public

   Forked from NVIDIAGameWorks/kaolin

   A PyTorch Library for Accelerating 3D Deep Learning Research

   C++

2. keras keras Public

   Forked from keras-team/keras

   Deep Learning for humans

   Python

3. swipl-devel swipl-devel Public

   Forked from SWI-Prolog/swipl-devel

   Main development repository

   C

4. lean-perfectoid-spaces lean-perfectoid-spaces Public

   Forked from leanprover-community/lean-perfectoid-spaces

   Perfectoid spaces in the Lean formal theorem prover.

   Lean

5. taichi taichi Public

   Forked from taichi-dev/taichi

   The Taichi programming language

   C++

6. tianshou tianshou Public

   Forked from thu-ml/tianshou

   An elegant, flexible, and superfast PyTorch deep Reinforcement Learning platform.

   Python