Similar repositories to mdenend/CollatzRewriteSystem:

• mdenend/CollatzRewriteSystem github similar
• yandex/YaLM-100B github similar
• dselsam/arc github similar
• andres-arana/vim-nearley github similar
• Hypersonic/CyberTronix64k github similar
• ruler501/magic-card-parser github similar
• leanprover/lean.js github similar
• leanprover-community/mathematics_in_lean github similar
• b-mehta/topos github similar
• cemulate/the-mlab github similar
• ImperialCollegeLondon/group-theory-game github similar
• coq-community/manifesto github similar
• bijection/nearley-playground github similar
• jtleek/tidypvals github similar
• piroor/multipletab github similar
• HoTT/EPIT-2020 github similar
• leanprover/vscode-lean github similar
• LeelaChessZero/lczero-training github similar
• leanprover/lean2 github similar
• vnmakarov/yaep github similar
• masak/alma github similar
• GeoCoq/GeoCoq github similar
• nelhage/ministrace github similar
• jwiegley/coq-haskell github similar
• cdiggins/cat-language github similar
• rust-embedded/embedonomicon github similar
• Deducteam/lambdapi github similar
• melsman/mlkit github similar
• aparrish/pronouncingpy github similar
• facebookincubator/Polygames github similar
• nomeata/incredible github similar
• Ranchero-Software/RSParser github similar
• leanprover-community/lean github similar
• HoTT/HoTT-Agda github similar
• FormalTheology/GoedelGod github similar
• shamansir/rpd github similar
• TryItOnline/tryitonline github similar
• math-comp/math-comp github similar
• kasperpeulen/euclidthegame github similar
• jscoq/jscoq github similar