Contact
Packages
Package lists
Package filtering in Repology is very flexible, so you can combine all kinds of conditions. But here are some preset queries to start with:
 All packages for this maintainer.
 Up to date packages for this maintainer.
 Outdated packages for this maintainer.
 Outdated packages for this maintainer, newest in 2+ other repository families. Compared to the previous query this has smaller possibility of false positives.
 Packages for this maintainer which have ignored versions. There may be incorrect versions which needs fixing among these.
 Packages for this maintainer which are up to date only in a single repository family. There may be incorrect versions which needs fixing among these.
 Packages for this maintainer which have related ones (with the same homepage). These may require merging into a single project.
Repositories
This maintainer is active in the following repositories:
Problems
There are 3 known problems for packages maintained by kya@pdx.edu
Categories
This maintainer is active in the following package categories:

Math (2)

Web,Education (1)

Text (1)

Testing (1)

Education (1)

Development,Data Structures (1)

Data (1)

Codec,Math,Theorem Provers (1)
Packages
There are 9 total package(s) for 9 distinct project(s) known.
haskell:derplib, haskell:logictptp, haskell:memscript, haskell:ordinals, haskell:polytypeableutils, haskell:quickcheckpoly, haskell:smartword, haskell:sparsebit, haskell:yices
Similar maintainers