yoriyuki/multisets
Open source implementation of multi-sets (or bags) for Scala collection
Public GitHub Catalog
Discovered Sep 24, 2026
yoriyuki / CertifiedDiet
Coq certified Diet
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#2442399GitHub System ID
yoriyukiOrganization / User
PublicVisibility
ActiveCatalog Status
More from yoriyuki
yoriyuki/uproplib
Unicode Property Database
yoriyuki/uucd
Unicode character database decoder for OCaml
yoriyuki/ualglib
Unicode Algorithms for OCaml