-
-
deepmind-research Public
Forked from google-deepmind/deepmind-researchThis repository contains implementations and illustrative code to accompany DeepMind publications
Jupyter Notebook Apache License 2.0 UpdatedOct 16, 2021 -
-
-
-
skills Public
Forked from tsuirak/skills个人的技能树仓库，包含一些个人学习的笔记以及开发项目
Jupyter Notebook MIT License UpdatedJan 20, 2021 -
coq Public
Forked from rocq-prover/rocqCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
OCaml GNU Lesser General Public License v2.1 UpdatedOct 8, 2020 -
-
{{ message }}