HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
31.
▲
An Automated Theorem Prover in Python
github.com/boyers
discuss
12 years ago
stepstep
2 points
32.
▲
A Python implementation of a Python bytecode runner
github.com/nedbat
discuss
11 years ago
yuashizuki
1 points
33.
▲
Boyer Moore Vote Algorithm O(1) Space O(N) Time
github.com/raghavan
discuss
2 years ago
raghavankl
1 points
34.
▲
Boyer Moore Majority Vote Algorithm – Counting Most Repeated Characters in O(n)
github.com/raghavan
discuss
2 years ago
raghavankl
1 points
35.
▲
Show HN: rapidstring – Maybe the fastest string library ever
github.com/boyerjohn
discuss
8 years ago
johnboyer
1 points
36.
▲
Show HN: Command-line app for viewing BoltDB files in your terminal
github.com/hasit
discuss
10 years ago
hasit
1 points
37.
▲
Fix Boyer-Moore searcher with the Rytter correction
github.com/microsoft
53 comments
6 years ago
HenryR
193 points
38.
▲
Nqthm – the original Boyer-Moore theorem prover, from 1992
github.com/John-Nagle
discuss
10 years ago
jaredsohn
2 points
39.
▲
Show HN: 500x faster string matching for Linux Netfilter (O(1) vs. O(N))
github.com/landerrosette
discuss
4 months ago
landerrosette
4 points
40.
▲
Show HN: ShadowStrike – building an open-source EDR from scratch
github.com/Soocile
2 comments
4 months ago
Soocile
1 points
41.
▲
AI Assisted Linguistic Synth:Mapping Proto-Sinaitic Roots in Voynich Manuscript
github.com/adrihd
1 comment
4 months ago
adrihd
1 points