Popular repositories Loading

1. OpenGauss OpenGauss Public

   Forked from math-inc/OpenGauss

   Python 1

2. ulamai ulamai Public

   Forked from ulamai/ulamai

   UlamAI is an open-source Lean theorem prover and formalizer.

   Python 1

3. MiroFish MiroFish Public

   Forked from 666ghj/MiroFish

   A Simple and Universal Swarm Intelligence Engine, Predicting Anything. 简洁通用的群体智能引擎，预测万物

   Python 1

4. CORAL CORAL Public

   Forked from Human-Agent-Society/CORAL

   CORAL is a robust, lightweight infrastructure for multi-agent autonomous self-evolution, built for autoresearch.

   Python 1

5. leanblueprint leanblueprint Public

   Forked from PatrickMassot/leanblueprint

   plasTeX plugin to build formalization blueprints.

   Python 1

6. lean-liquid lean-liquid Public

   Forked from leanprover-community/lean-liquid

   💧 Liquid Tensor Experiment

   Lean 1