Topic · hol

hol

Tracked open-source repos tagged hol, sorted by stars.

Repos

2

Total stars

1,752

Avg. stars

876

Share

0.00%

Topics that frequently appear alongside hol on the same repo.

Recent risers

Repos created in the last 90 days, tagged hol.

No new repos tagged with this topic in the last 90 days.

#1
cakeml ↗@CakeMLStandard ML
CakeML: A Verified Implementation of ML
★ 1,190+2Star change over the last 7 days
#2
hiero-consensus-specifications ↗@hiero-ledger
Canonical specifications for Hiero Consensus Specifications (HCS) — originally written and maintained by Hashgraph Online
★ 562+0Star change over the last 7 days

← Back to topics