Similar repositories to tfburns/random-chess:

• tfburns/random-chess github similar
• tfburns/TuringMachine.jl github similar
• mmasdeu/topologygame github similar
• leanprover-community/mathzoo github similar
• kendfrey/rubiks-cube-group github similar
• jasonrute/thoughts-on-ai-for-theorem-proving github similar
• avigad/boole github similar
• b-mehta/maths-notes github similar
• ImperialCollegeLondon/group-theory-game github similar
• TwoFX/sudoku github similar
• flypitch/flypitch github similar
• swinton/SpotHub github similar
• jupyter-server/jupyverse github similar
• tzachar/cmp-tabnine github similar
• linrock/blitz-tactics github similar
• cpitclaudel/alectryon github similar
• tpope/vim-apathy github similar
• ianfab/Fairy-Stockfish github similar
• ImperialCollegeLondon/natural_number_game github similar
• digama0/mm0 github similar
• ImperialCollegeLondon/formalising-mathematics github similar
• mfussenegger/nvim-treehopper github similar
• stitchfix/nodebook github similar
• openingtree/openingtree github similar
• nvim-lua/popup.nvim github similar
• tpope/vim-sexp-mappings-for-regular-people github similar
• ShailChoksi/lichess-bot github similar
• jupyterlab/jupyter-renderers github similar
• kosayoda/nvim-lightbulb github similar
• SmiteshP/nvim-gps github similar
• guns/vim-sexp github similar
• ModelOriented/DrWhy github similar
• aykamko/tag github similar
• hyiltiz/vim-plugins-profile github similar
• pygae/clifford github similar
• mattpocock/xstate-catalogue github similar
• ziulev/spotter github similar
• joouha/euporie github similar
• lambdaisland/kaocha github similar
• egraphs-good/egg github similar