Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
Filter a map with a criteria. The result is a List of Pair.