Popular repositories Loading
-
-
-
-
brilliant-clone
brilliant-clone PublicA from-scratch TypeScript DDAR geometry proof-checker (deductive database + algebraic reasoning, the symbolic method behind AlphaGeometry) that verifies olympiad proof steps against several resampl…
TypeScript
-
speedrun
speedrun PublicGRE Mathematics Subject Test study app on a fork of Anki — separate memory/performance/readiness scores with honest ranges. AGPL-3.0-or-later, credit Anki.
Python
-
anki
anki PublicForked from ankitects/anki
Anki is a smart spaced repetition flashcard program
Rust
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.


