Popular repositories Loading

1. anuncieaqui-biblioteca anuncieaqui-biblioteca Public

   "Anuncie Aqui" Team Code Library for ACM ICPC

   C++ 5 1

2. extremal extremal Public

   Lean 1

3. PrimeNumberTheoremAnd PrimeNumberTheoremAnd Public

   Forked from AlexKontorovich/PrimeNumberTheoremAnd

   blueprint for prime number theorem and more

   Lean 1

4. agda-sessions agda-sessions Public

   Forked from anuyts/agda-sessions

   Learn the Agda basics in three 2-hour sessions.

   Agda

5. plfa.github.io plfa.github.io Public

   Forked from plfa/plfa.github.io

   Introduction to programming language theory in Agda

   Agda

6. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection

   Nix