Popular repositories Loading

1. colaboratory colaboratory Public

   Forked from jupyter/colaboratory

   [deprecated] Jupyter CoLaboratory, goto google colab now

   JavaScript

2. kissat kissat Public

   Forked from arminbiere/kissat

   C

3. cadical cadical Public

   Forked from arminbiere/cadical

   CaDiCaL SAT Solver

   C++

4. Hands-on-RL Hands-on-RL Public

   Forked from boyu-ai/Hands-on-RL

   https://hrl.boyuai.com/

   Jupyter Notebook

5. ABLkit ABLkit Public

   Forked from AbductiveLearning/ABLkit

   An efficient Python toolkit for Abductive Learning (ABL), a novel paradigm that integrates machine learning and logical reasoning in a unified framework.

   Python

6. GinsMooc GinsMooc Public

   Forked from ginnnnnncc/GinsMooc

   中国大学MOOC查询测验/作业/考试答案，插件支持，测验支持选择/判断/填空。

   Vue