Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Catalog / avi-levy / dhl
Public GitHub Catalog Discovered Sep 27, 2026

avi-levy / dhl

Admissible sets for the Dickson-Hardy-Littlewood Conjecture

View repository on GitHub ↗ View creator profile Browse directory

About this discovery

This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.

#10490054GitHub System ID
avi-levyOrganization / User
PublicVisibility
ActiveCatalog Status

More from avi-levy

↗

avi-levy/bayes-net

Implementation of a probabilistic knowledge base. Given a Bayes Net, efficiently compute all associated probabilities.

Discovered
↗

avi-levy/theorem-prover

I wrote a simple theorem prover in python. It uses minimal heuristics to resolve clauses in CNF.

Discovered
FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.