{"id":18152230,"url":"https://github.com/jaybosamiya/vale-mode.el","last_synced_at":"2026-03-19T03:21:06.722Z","repository":{"id":78706476,"uuid":"190941990","full_name":"jaybosamiya/vale-mode.el","owner":"jaybosamiya","description":":wrench: Emacs support for Vale","archived":false,"fork":false,"pushed_at":"2019-07-25T01:26:12.000Z","size":39,"stargazers_count":1,"open_issues_count":0,"forks_count":2,"subscribers_count":1,"default_branch":"master","last_synced_at":"2025-04-06T23:45:58.258Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Emacs Lisp","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/jaybosamiya.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2019-06-08T22:43:16.000Z","updated_at":"2023-03-05T05:15:48.000Z","dependencies_parsed_at":null,"dependency_job_id":"b9b9a31f-221a-4650-93f1-ecb30b5e60c3","html_url":"https://github.com/jaybosamiya/vale-mode.el","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/jaybosamiya/vale-mode.el","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jaybosamiya%2Fvale-mode.el","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jaybosamiya%2Fvale-mode.el/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jaybosamiya%2Fvale-mode.el/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jaybosamiya%2Fvale-mode.el/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/jaybosamiya","download_url":"https://codeload.github.com/jaybosamiya/vale-mode.el/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jaybosamiya%2Fvale-mode.el/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":278254466,"owners_count":25956604,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-10-04T02:00:05.491Z","response_time":63,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-02T02:06:05.178Z","updated_at":"2025-10-04T02:07:40.950Z","avatar_url":"https://github.com/jaybosamiya.png","language":"Emacs Lisp","funding_links":[],"categories":[],"sub_categories":[],"readme":"## Use Vale in Emacs!\n\nAdds support for editing [Vale](https://github.com/project-everest/vale/) (Verified Assembly Language for Everest) files, and interacting with the prover.\n\n## Setup\n\nVale Mode requires Emacs 25 or newer.\n\nIt is distributed through [MELPA](https://melpa.org).\n\n1.  Add the following to your init file (usually `.emacs`) if it is not already there:\n\n\t```elisp\n\t(require 'package)\n\t(add-to-list 'package-archives '(\"melpa\" . \"http://melpa.org/packages/\") t)\n\t(package-initialize)\n\t```\n\n2.  Restart Emacs, then run \u003ckbd\u003eM-x package-refresh-contents\u003c/kbd\u003e and \u003ckbd\u003eM-x package-install RET vale-mode RET\u003c/kbd\u003e. Future updates can be downloaded using \u003ckbd\u003eM-x list-packages U x y\u003c/kbd\u003e.\n\n3.  To be able to use the interactive portions of Vale, make sure to have `python3` on your path, and to set the `vale-interact-path` to point to [`interact.py` from vale](https://github.com/project-everest/vale/blob/master/tools/scripts/interact.py).\n\n\t```elisp\n\t(setq-default vale-interact-path \"/PATH/TO/interact.py\")\n\t```\n4. To be able to quickly jump around between procedures, make sure to have `etags` on your path.\n\n## Alternate setup using `use-package`\n\n`use-package` makes your init file configuration extremely tidy, and also makes it easy to ensure that all the packages you want are automatically installed when on a new machine.\n\nUse the following code in your init file to ensure that you've got `use-package` (after the `(package-initialize)`):\n\n```elisp\n(eval-when-compile\n  (or (require 'use-package nil t)\n      (progn\n\t(package-refresh-contents)\n\t(package-install 'use-package)\n        (message \"On a new system. Just installed use-package!\"))))\n```\n\nNow, you can install `vale-mode` simply by using the following declaration in your init file:\n\n```elisp\n(use-package vale-mode\n  :ensure t\n  :custom\n  (vale-interact-path \"/PATH/TO/interact.py\")\n  :mode (\"\\\\.vaf\\\\'\" . vale-mode))\n```\n\n## Keybindings\n\nKey  | Action\n-----|--------\n`C-c C-c` | Use Vale interactively\n`C-c C-t` | Create a TAGS file for quickly jumping between procedures\n`C-c C-a` | Switch to corresponding generated `.fst` file. Repeat with the `.fst` to jump to the `.fsti`.\n`C-.` | Jump to definition of procedure under the cursor\n`C-'` | Jump to definition of procedure under the cursor (in another window)\n`C-,` | Pop back to previous location\n\n## LICENSE\n\n[Apache License 2.0](LICENSE)\n\n```\nCopyright 2019 Jay Bosamiya\n\nLicensed under the Apache License, Version 2.0 (the \"License\");\nyou may not use this file except in compliance with the License.\nYou may obtain a copy of the License at\n\n\thttp://www.apache.org/licenses/LICENSE-2.0\n\nUnless required by applicable law or agreed to in writing, software\ndistributed under the License is distributed on an \"AS IS\" BASIS,\nWITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.\nSee the License for the specific language governing permissions and\nlimitations under the License.\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjaybosamiya%2Fvale-mode.el","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fjaybosamiya%2Fvale-mode.el","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjaybosamiya%2Fvale-mode.el/lists"}