GitHub repository: petRUShka/vim-magma
Primary language: Vim script
Description: Vim-magma is a vim plugin for support Magma Computational Algebra System.