- agda/agda2hs: Compiling Agda code to readable Haskell
- agda/agda-frp-js: ECMAScript back end for Functional Reactive Programming in Agda
- isovector/cornelis: agda-mode for neovim
- Jesper Cockx - Don’t worry (about writing Haskell), be happy (writing Agda instead)!
- plfa/plfa.github.io: An introduction to programming language theory in Agda
- srid/agda-template: Imperfect Agda project template using Nix