Repository navigation

Add dict.filter(..) function - #471

Merged

joente merged 2 commits into

mainfrom

Oct 30, 2026

Merged

Add dict.filter(..) function#471
joente merged 2 commits into
mainfrom
dict-filter

Commits on Oct 30, 2026
- dict filter
  joente
  committed
  224cd48
- correct pr
  joente
  committed
  bc8ea57