j-baker/hol-webpages
Webpages for the HOL4 website (currently at hol.sourceforge.net)
Public GitHub Catalog
Discovered Oct 18, 2026
j-baker / bloom-filter
A trivial implementation of a bloom filter
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.
#39412563GitHub 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!