Popular repositories Loading

1. anuncieaqui-biblioteca anuncieaqui-biblioteca Public

   "Anuncie Aqui" Team Code Library for ACM ICPC

   C++ 5 1

2. extremal extremal Public

   1

3. agda-sessions agda-sessions Public

   Forked from anuyts/agda-sessions

   Learn the Agda basics in three 2-hour sessions.

   Agda

4. plfa.github.io plfa.github.io Public

   Forked from plfa/plfa.github.io

   Introduction to programming language theory in Agda

   Agda

5. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection

   Nix

6. dyalog-nixos dyalog-nixos Public

   Forked from markus1189/dyalog-nixos

   Run dyalog APL and RIDE on nixos

   Nix