Popular repositories Loading

1. dotfiles dotfiles Public

   Vim Script

2. bilichboris.github.io bilichboris.github.io Public

   Personal website

   HTML

3. formal-conjectures formal-conjectures Public

   Forked from google-deepmind/formal-conjectures

   A collection of formalized statements of conjectures in Lean.

   Lean

4. SSEvolve SSEvolve Public

   Forked from algorithmicsuperintelligence/openevolve

   Open-source implementation of AlphaEvolve

   Python

5. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

6. sympy sympy Public

   Forked from sympy/sympy

   A computer algebra system written in pure Python

   Python