Similar repositories to kendfrey/rubiks-cube-group:

• kendfrey/rubiks-cube-group github similar
• tootsuite/mastodon github similar
• yandex/YaLM-100B github similar
• pocketbase/pocketbase github similar
• danistefanovic/build-your-own-x github similar
• minchaowu/mm-lean github similar
• domchristie/turndown github similar
• tuvtran/project-based-learning github similar
• Eloston/ungoogled-chromium github similar
• GamestonkTerminal/GamestonkTerminal github similar
• Soldat/soldat github similar
• mmasdeu/topologygame github similar
• leanprover-community/leancrawler github similar
• ImperialCollegeLondon/complex-number-game github similar
• atarnoam/lean-automata github similar
• gebner/m17n-lean github similar
• TwoFX/sudoku github similar
• jsm28/bmo2-2020-lean github similar
• robertylewis/mathematica github similar
• leanprover-community/format_lean github similar
• leanprover-community/lean-client-python github similar
• asouther4/lean-social-choice github similar
• jasonrute/thoughts-on-ai-for-theorem-proving github similar
• ImperialCollegeLondon/M1P1-lean github similar
• rwbarton/lean-omin github similar
• e45lee/lean-matroids github similar
• pixijs/pixi.js github similar
• aquynh/capstone github similar
• hecrj/iced github similar
• bryangingechen/lean-matroids github similar
• leanprover-community/vscode-lean4 github similar
• rulex-rs/pomsky github similar
• unionai-oss/pandera github similar
• kraanzu/dooit github similar
• sonnyt/just github similar
• x2bool/xlite github similar
• rishikksh20/Avocodo-pytorch github similar
• pnkfelix/larceny-test github similar
• nhatanh002/credit-evaluation github similar
• trake-combinator/R4RS-compiler github similar