| Home | ||
| Curriculum Vitæ | ||
| Professional Service | ||
| Projects | ||
| Publications | ||
| Talks | ||
Teaching
| Supervision
| Software
| |
Software
Haskell Ecosystem
I am (co-)developing several cli executables in Haskell.
This got me involved also in (co-)maintaining several Haskell libraries.
I am serving as a hackage trustee (a curator for Haskell packages uploaded to hackage).
| Package | Hackage | Stackage-LTS | Stackage-nightly | Build | GHC-from | GHC-to | Reason |
|---|---|---|---|---|---|---|---|
| executables | |||||||
| Agda |  |
9.12.2 | 8.8.4 | ||||
| agda2lagda | 
|
9.12.2 | 8.0 | ||||
| alex | 
|
9.14.0 | 8.0 | ||||
| BNFC |  |
 |
9.14.0 | 8.0 | |||
| cabal-clean |  |
9.12.2 | 8.0 | ||||
| fix-whitespace |
|
9.12.2 | 8.0 | ||||
| goldplate |  |
 |
9.12.2 | 8.4 | MiniAgda | ||
| hackage-cli |  |
9.14.0 | 8.2 | ||||
| happy | 
|
9.12.2 | 8.0 | ||||
| hackage-server | 
|
9.12.2 | 9.6 | ||||
| helf |  |
9.14.0 | 8.0 | ||||
| java-adt |  |
9.14.0 | 7.6 | ||||
| MiniAgda |  |
9.14.0 | 8.0 | ||||
| risc386 |  |
9.14.0 | 7.6 | ||||
| Sit |  |
9.14.0 | 7.8 | ICFP 2017 | |||
| libraries | |||||||
| acid-state |  |
 |
9.14.0 | 8.0 | hackage-server | ||
| blaze-builder |  |
 |
9.14.0 | 8.0 | hackage-server | ||
| brotli |  |
 |
9.14.0 | 8.0 | http-io-streams | ||
| brotli-streams |  |
 |
9.14.0 | 7.4 | http-io-streams | ||
| cpphs | 
|
9.14.0 | 8.0 | Trustee | |||
| cryptohash-md5 |  |
 |
9.14.0 | 8.2 | |||
| cryptohash-sha1 |  |
 |
9.14.0 | 8.2 | |||
| cryptohash-sha256 |  |
 |
9.14.0 | 8.2 | |||
| cryptohash-sha512 |  |
 |
9.14.0 | 8.2 | |||
| equivalence |  |
 |
9.14.0 | 8.0 | Agda | ||
| filelock |  |
9.14.0 | 8.0 | acid-state, Agda | |||
| generic-lens |  |
 |
9.14.0 | 8.4 | |||
| github |  |
9.14.0 | 8.2 | Agda releases | |||
| hslogger |  |
 |
9.14.0 | 8.0 | hackage-server | ||
| http-io-streams |  |
 |
9.14.0 | 8.0 | hackage-cli | ||
| ListLike |  |
 |
9.14.0 | 8.0 | Agda, hackage-cli | ||
| murmur-hash |  |
9.14.0 | 8.0 | Agda | |||
| netrc |  |
 |
9.14.0 | 8.0 | hackage-cli | ||
| old-time | 
|
9.14.0 | 7.8 | safecopy | |||
| peano |  |
9.14.0 | 8.0 | Agda | |||
| polyparse | 
|
9.14.0 | 8.0 | Trustee | |||
| regex-base |  |
9.14.0 | 8.0 | ||||
| regex-compat |  |
9.14.0 | 7.0 | ||||
| regex-pcre |  |
 |
9.14.0 | 8.0 | |||
| regex-posix |  |
9.14.0 | 8.0 | ||||
| regex-posix-clib | 9.12.1 | 8.0 | |||||
| regex-tdfa |  |
9.14.0 | 8.0 | Agda | |||
| resolv |  |
 |
9.14.0 | 8.0 | cabal | ||
| rss |  |
 |
9.14.0 | 8.0 | hackage-server | ||
| safecopy |  |
 |
9.14.0 | 8.0 | hackage-server | ||
| shelly |  |
|
9.14.0 | 8.2 | BNFC | ||
| silently |  |
|
9.14.0 | 8.0 | tasty-silver | ||
| STMonadTrans |  |
9.14.0 | 8.0 | equivalence | |||
| tasty-silver |
|
9.14.0 | 8.0 | Agda | |||
| tokenize | 
|
9.14.0 | 8.0 | hackage-server | |||
| unix-compat | 
|
9.14.0 | 8.0 | Agda | |||
| xor |  |
9.12.2 | 8.0 | http-io-streams | |||
| stepping down from maintainership | |||||||
| ini |  |
9.12.2 | 8.0 | ||||
| retired from maintainership | |||||||
| cabal-doctest |  |
9.10 | 7.0 | 2021-23, v1.0.9 → ulidtko | |||
| cassava |  |
 |
9.12.1 | 8.0 | hackage-server, 2021-25 → mchav | ||
| doctest |  |
9.10 | 7.6 | 2021, v0.18.1/2 → sol | |||
| haskell-src |  |
9.14.0 | 8.0 | 2021-25 → skogsbaer | |||
| hasktags |  |
9.12.2 | 8.0 | 2021-23 → Jack Henahan | |||
| HsYAML |  |
9.12.1 | 8.0 | 2021-25 → Tristan de Cacqueray | |||
| HsYAML-aeson |  |
9.12.1 | 8.0 | 2021-25 → Tristan de Cacqueray | |||
| microaeson |  |
9.12.1 | 8.0 | 2021-25 → tomjaguarpaw | |||
| newtype |  |
9.12.2 | 7.0 | 2022-25 | |||
| obsolete packages | |||||||
| deepseq-generics |  |
 |
9.14.0 | 8.0 | 2021-25 | ||
| MissingH |  |
9.12.1 | 8.0 | 2021-25 | |||
| abandoned | |||||||
| hs-tags |  |
9.0 | 8.0 | 2021-22 | |||
Outdated dependencies (packdeps)
|
Andreas Abel,
http://www.cse.chalmers.se/~abela
Last modified: 2025-01-17 16:16> |
|