{"id":23591326,"url":"https://github.com/halflinghelper/deduce-mode","last_synced_at":"2025-07-07T20:05:50.159Z","repository":{"id":259776814,"uuid":"865658135","full_name":"HalflingHelper/deduce-mode","owner":"HalflingHelper","description":null,"archived":false,"fork":false,"pushed_at":"2025-02-11T21:41:23.000Z","size":68,"stargazers_count":4,"open_issues_count":1,"forks_count":2,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-02-11T22:32:36.474Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"JavaScript","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/HalflingHelper.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","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":"2024-09-30T22:40:26.000Z","updated_at":"2025-02-11T21:41:28.000Z","dependencies_parsed_at":"2024-11-14T19:26:01.178Z","dependency_job_id":"4920cc5e-cf04-487e-b006-b1a1a02facd8","html_url":"https://github.com/HalflingHelper/deduce-mode","commit_stats":null,"previous_names":["halflinghelper/deduce-mode"],"tags_count":6,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/HalflingHelper%2Fdeduce-mode","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/HalflingHelper%2Fdeduce-mode/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/HalflingHelper%2Fdeduce-mode/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/HalflingHelper%2Fdeduce-mode/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/HalflingHelper","download_url":"https://codeload.github.com/HalflingHelper/deduce-mode/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":239426087,"owners_count":19636504,"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","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-12-27T07:38:01.819Z","updated_at":"2025-07-07T20:05:50.153Z","avatar_url":"https://github.com/HalflingHelper.png","language":"JavaScript","readme":"# deduce-mode\n\ndeduce-mode exists to  moderately improve the experience of writing [Deduce](https://github.com/jsiek/deduce/) in VS Code.\n\n## Features\n\n- Syntax Highlighting\n- File icons\n- Line Indentation\n- Autorun\n- Snippets\n\nMore to come!\n- Configuration for deduce command line flags\n- Semantic Highlighting\n- Auto-formatter\n\n## Installation\nWe are now on the marketplace! [link](https://marketplace.visualstudio.com/manage/publishers/calvinjosenhans/extensions/deduce-mode/hub?_a=acquisition)\n\n### From File\n\u003e [!NOTE]\n\u003e Releases are less frequently updated than the extension on the marketplace, so you might not always get the latest features.\n- To get the extension, download the latest `.vsix` file from [releases](https://github.com/HalflingHelper/deduce-mode/releases) \nand put it somewhere you'll remember. You can then add it as an extension in vscode.\n![image](https://github.com/user-attachments/assets/7c840dbd-d781-4e3d-aa91-6606d4ff8bff)\n\n\n## Requirements\nPreferably you will have installed Deduce and Python 3.10+, otherwise the extension is not of much use to you. 😃\n\nIf the `ms-python.python` extension is installed, and you have not set a Python path to use for deduce, then the extension\nwill attempt to use a Python environment provided by that extension.\n\n\n## Extension Settings\nThis extension contributes the following settings:\n- `deduce-mode.pythonInstallPath`: The location of the Python executable you want to run Deduce with. Default `python`.\n- `deduce-mode.deduceInstallPath`: The location of your `deduce.py` file.\n- `deduce-mode.libraryPaths`: An array of folders to use with deduce's `--dir` option. Defaults to deduce's `lib` folder.\n- `deduce-mode.clearTerminal`: Whether you want deduce to clear old output before running the current file.\n\n## Known Issues\n- Nothing right now!\n\n## Release Notes\n\n### 0.1.12\n- Added import snippets for `Nat` and `List` to silence induction hints\n- Additional indentation rules for `lemma`, `theorem` and `define`\n- Added option for clearing terminal\n\n### 0.1.11\n- More keywords\n\n### 0.1.10\n- Fixing spaces in paths\n  - On Windows, add double quotes around the path\n  - On POSIX, prepend spaces with backslashes\n\n### 0.1.9\n- Using path to work with paths\n\n### 0.1.8\n- Bug fix in indentation with respect to `proof`\n- Adding directory of targeted file as a `--dir` argument\n\n### 0.1.7\n- Modifying `assume` in cases snippets\n\n### 0.1.6\n- Highlighting of `help` and `recall` keywords\n\n### 0.1.5\n- Added highlighting for additional stdlib names\n- Removed default value of `python` for `deduce-mode.pythonInstallPath`\n- Added snippet for lemmas\n\n### 0.1.4\n- Bugfix: Javascript oddness\n\n### 0.1.3\n- Made filepaths system independent when searching from `deduce.py`.\n\n### 0.1.2\n- Deduce mode now looks for `deduce.py` in the active workspace. \n- Support for multiple and custom library directories.\n- Added snippets for common induction and case patterns.\n- Tokenization patches.\n\n### 0.1.1\n- Updated tokenization. \n\n### 0.1.0\n- Somewhat usable software: Improved settings and errors, and expanded readme.\n\n### 0.0.5\n- Touchups for release on the extension marketplace.\n\n### 0.0.4\n- Improved run command and expanded token scopes for variable names and non-unicode operators.\n\n### 0.0.3\n- Added support for basic line indentation and a run command.\n\n### 0.0.2\n- Added file icons.\n\n### 0.0.1\n- Prerelease: Minimal syntax highlighting support.\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhalflinghelper%2Fdeduce-mode","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fhalflinghelper%2Fdeduce-mode","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhalflinghelper%2Fdeduce-mode/lists"}