Popular repositories Loading
-
four-color-theorem-verification
four-color-theorem-verification PublicIndependent mechanical re-verification of Robertson-Sanders-Seymour-Thomas 1997 Four Color Theorem: 633 configurations reducible + 5 presents verified on Windows/MSYS2, with LLM audit and rules-min…
C 1
-
user-config-defense-patterns
user-config-defense-patterns PublicDefense patterns for the user-controlled config layer of LLM coding agents. Pilot study (n=5) on Always-Loaded Guard Rules. v1.0.
-
faers-chei-sexual-disinhibition
faers-chei-sexual-disinhibition PublicAnalysis code and derived results for: Cholinesterase inhibitors and sexual disinhibition in dementia - a FAERS disproportionality study (Naunyn-Schmiedeberg's Arch Pharmacol, doi:10.1007/s00210-02…
Python
If the problem persists, check the GitHub status page or contact support.
