robwebbjr's Stars

Sort: Most downloads
Sort options

ide-haskell

Haskell IDE
atom-haskell
2.4.0 176,452

agda-mode

agda-mode on Atom
banacorn
5,904

language-agda

Agda language support for the Atom editor
banacorn
2,845

dicy

Compile LaTeX, knitr, literate Agda, literate Haskell and Pweave documents using DiCy.
yitzchak
89