avi-levy/dhl
Admissible sets for the Dickson-Hardy-Littlewood Conjecture
Public GitHub Catalog
Discovered Sep 28, 2026
avi-levy / Adafruit_CC3000_Library
Library code for Adafruit's CC3000 WiFi breakouts &c
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.
#12360866GitHub 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.
avi-levy/theorem-prover
I wrote a simple theorem prover in python. It uses minimal heuristics to resolve clauses in CNF.
avi-levy/time-indicator-widget
Tiny time indicator applet for Ubuntu [useful if you have purged the evolution* packages]