Similar repositories to Macaulay2/M2-emacs:

• Macaulay2/M2-emacs github similar
• Singular/Singular github similar
• pseudoku/ErgoWarp github similar
• Macaulay2/M2 github similar
• agda/cubical github similar
• agda/agda-stdlib github similar
• HoTT/HoTT github similar
• HoTT/Coq-HoTT github similar
• haskell/haskell-mode github similar
• sagemath/sage github similar
• leanprover/lean github similar
• agda/agda github similar
• apptainer/singularity github similar
• adereth/dactyl-keyboard github similar
• foostan/crkbd github similar
• emacs-mirror/emacs github similar
• coq/coq github similar
• gnuradio/gnuradio github similar
• xournalpp/xournalpp github similar
• github/linguist github similar
• Homebrew/brew github similar
• JuliaLang/julia github similar
• atom/atom github similar
• torvalds/linux github similar