vdm-mode

Major mode for the Vienna Development Method

GPL-3.0 License

Stars
4
View Code on GitHub
Ecosystems: Emacs

Issue Statistics

Past Year

All Time

Total Pull Requests
0
0
Merged Pull Requests
0
0
Total Issues
0
0
Time to Close Issues
N/A
N/A
Related Projects
vue-mode

Emacs major mode for vue.js

10 Apr 2016 323
rigpa

A metacircular modal UI framework.

18 Jul 2019 157
awesome-emacs

A community driven list of useful Emacs packages, libraries and other items.

01 Aug 2014 8,275
cask-mode

Major mode for editing Cask files

01 Apr 2016 12
perl-live

perl live coding

10 May 2013 15
cwl-mode

CWL mode for Emacs

12 Oct 2017 7
doomemacs

An Emacs framework for the stubborn martian hacker

12 Jul 2014 18,479
riscv-mode

Major mode for RISC V assembly

29 Sep 2016 18
.emacs.d

A minimalist Windows centric, modern-ish always evolving init.el et al.

17 Oct 2019 8
ssass-mode

Write Sass without a Turing Machine

26 Feb 2017 7
emacs-config

Moderately personalized Emacs config

05 Oct 2018 27
god-mode

Minor mode for God-like command entering

10 Aug 2013 824
emacs.d

My personal Emacs settings

14 Mar 2014 10
beginend

Emacs package to redefine M-< and M-> for some modes

01 Jun 2015 99
lsp-mode

Emacs client/library for the Language Server Protocol

02 Dec 2016 4,682