• Packages
  • Themes
  • Documentation
  • Blog
  • Discuss
Sign in

banacorn's Packages

Sort: Most downloads
Sort options
Most downloads Least downloads Most stars Newest Oldest Recently updated Least recently updated

agda-mode

agda-mode on Atom
banacorn
10,615
7

language-agda

Agda language support for the Atom editor
banacorn
7,025
6
  • Terms of Use
  • Privacy
  • Code of Conduct
  • Releases
  • FAQ
  • Contact
with by