forked from runtimeverification/k-editor-support
-
Notifications
You must be signed in to change notification settings - Fork 0
david-k/k-editor-support
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
About
Plugin files for editing K files
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Java 67.6%
- JavaScript 13.7%
- Emacs Lisp 6.3%
- KakouneScript 4.1%
- Lex 3.1%
- Vim Script 2.8%
- Other 2.4%