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

robwebbjr's Stars

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

ide-haskell

Haskell IDE
  • #ide-haskell
  • #ide
  • #haskell
atom-haskell
2.4.0 176,452
143

agda-mode

agda-mode on Atom
banacorn
5,904
6

language-agda

Agda language support for the Atom editor
banacorn
2,845
5

dicy

Compile LaTeX, knitr, literate Agda, literate Haskell and Pweave documents using DiCy.
  • #tex
  • #latex
  • #dicy
yitzchak
89
1
  • Terms of Use
  • Privacy
  • Code of Conduct
  • Releases
  • FAQ
  • Contact
with by