Popular repositories Loading

1. LeanSTaR LeanSTaR Public

   Python 30 2

2. 996.ICU 996.ICU Public

   Forked from 996icu/996.ICU

   Repo for counting stars and contributing. Press F to pay respect to glorious developers.

   Rust

3. learning_minimal learning_minimal Public

   Forked from petrhruby97/learning_minimal

   Learning to Solve Hard Minimal Problems

   C++

4. mae mae Public

   Forked from facebookresearch/mae

   PyTorch implementation of MAE https//arxiv.org/abs/2111.06377

   Python

5. leanstar.github.io leanstar.github.io Public

   Forked from nerfies/nerfies.github.io

   JavaScript 1

6. PutnamBench-lean4 PutnamBench-lean4 Public

   Forked from trishullab/PutnamBench

   An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.

   Lean