j-baker/bloom-filter
A trivial implementation of a bloom filter
Public GitHub Catalog
Discovered Oct 14, 2026
j-baker / hol-webpages
Webpages for the HOL4 website (currently at hol.sourceforge.net)
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.
#37950582GitHub System ID
j-bakerOrganization / User
PublicVisibility
ActiveCatalog Status
More from j-baker
j-baker/xmonad-config
Personal xmonad configuration
j-baker/strassen
Public repository.
j-baker/learnxinyminutes-docs
Code documentation written as code! How novel and totally my idea!