Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Cphconsoleapp | 39 | 9 years ago | 5 | mit | Shell | |||||
Cross Platform Haskell console application that should work on iOS and Android | ||||||||||
Agda2lagda | 13 | 3 months ago | 5 | June 09, 2023 | 1 | unlicense | Haskell | |||
Simple conversion from Agda text to literate Agda text. | ||||||||||
Filesequence | 6 | 6 years ago | 5 | Haskell | ||||||
Command line tools to work with sequences of files: seqls, seqcp, seqsum |