-
-
Clawristotle Public
OpenClaw-style theorem proving
-
BrauerGroup Public
Forked from Whysoserioushah/BrauerGroupLean Apache License 2.0 UpdatedJun 10, 2026 -
complexitylib Public
Forked from SamuelSchlesinger/complexitylibFormalization of complexity theory
Lean UpdatedJun 1, 2026 -
-
PrimeNumberTheoremAnd Public
Forked from AlexKontorovich/PrimeNumberTheoremAndBlueprint for the PNT+ Project
Lean Apache License 2.0 UpdatedMay 26, 2026 -
-
-
red-button Public
Do top LLMs press the red button when told not to? 24 models, 960 calls, full data + report.
Python UpdatedMay 1, 2026 -
-
-
cayleypy Public
Forked from cayleypy/cayleypyLibrary for studying Cayley graphs and Schreier coset graphs
-
aristotle-mcp Public
MCP server for the Aristotle automated theorem prover
Python MIT License UpdatedApr 16, 2026 -
-
-
-
lean4-skills Public
Forked from cameronfreer/lean4-skillsClaude skills for Lean 4 theorem proving
Shell MIT License UpdatedMar 14, 2026 -
-
-
-
-
GlimpseOfLean Public
Forked from RemyDegenne/GlimpseOfLeanAn introduction to theorem proving in Lean for the impatient.
Lean Apache License 2.0 UpdatedJan 9, 2026 -
SBTM-sampling Public
Forked from birajpandey/SBTM-samplingWe use score based transport modeling (SBTM) for sampling.
Python MIT License UpdatedJan 7, 2026 -
-
-
-
-
Real-ESRGAN Public
Forked from xinntao/Real-ESRGANReal-ESRGAN aims at developing Practical Algorithms for General Image/Video Restoration.
Python BSD 3-Clause "New" or "Revised" License UpdatedJun 8, 2025 -
-
BFRffusion Public
Forked from chenxx89/BFRffusionOfficial codes of Towards Real-World Blind Face Restoration with Generative Diffusion Prior
Python MIT License UpdatedMay 27, 2025
{{ message }}