Popular repositories Loading

1. AgdaEval AgdaEval Public

   Evaluate Agda files to strings

   Haskell

2. agda agda Public

   Forked from agda/agda

   Fork of Agda for better nix integration

   Haskell

3. eval-agda eval-agda Public

   Rust

4. agora agora Public

   Agda core library used by other determi projects

   Agda

5. agda-driver agda-driver Public

   Accessing agda evaluation and compilation functionality from CLI and Nix

   Rust

6. agda-stdlib agda-stdlib Public

   Forked from agda/agda-stdlib

   The Agda standard library with ICE/Nix support

   Agda