Popular repositories Loading

1. berkovich berkovich Public

   Forked from jcommelin/berkovich

   Lecture notes of the workshop on Berkovich skeleta

   TeX

2. Gluing Gluing Public

   MATLAB

3. lftcm2020 lftcm2020 Public

   Forked from leanprover-community/lftcm2020

   Lean for the Curious Mathematician 2020

   CSS

4. Summerschool21Exercises.jl Summerschool21Exercises.jl Public

   Forked from oscar-system/Summerschool21Exercises.jl

   Julia

5. Hecke.jl Hecke.jl Public

   Forked from thofma/Hecke.jl

   Computational algebraic number theory

   Julia

6. lmfdb lmfdb Public

   Forked from LMFDB/lmfdb

   L-Functions and Modular Forms Database

   Python