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

banacorn

Packages 2

language-agda

Agda language support for the Atom editor
banacorn
7,038
6

agda-mode

agda-mode on Atom
banacorn
10,619
7

Themes 0

No themes… yet.

Stars 2

aesthetic-ui

An AESTHETIC UI theme for Atom
dtinth
26,096
89

language-pi

Grammar for the language Pi
scmlab
113
1
  • Terms of Use
  • Privacy
  • Code of Conduct
  • Releases
  • FAQ
  • Contact
with by