neo-ltex / vscode-ltexView external linksLinks
LTeX: Grammar/spell checker for VS Code using LanguageTool with support for LaTeX , Markdown , and others
☆28Jul 15, 2024Updated last year
Alternatives and similar repositories for vscode-ltex
Users that are interested in vscode-ltex are comparing it to the libraries listed below
Sorting:
- LTeX+: Grammar/spell checker for VS Code using LanguageTool with support for LaTeX , Markdown , and others☆202Feb 2, 2026Updated 2 weeks ago
- Domain and problem PDDL parser in Python3 using ply.☆13Aug 21, 2018Updated 7 years ago
- Multiagent Distributed and Local Asynchronous Planner. A deterministic domain-independent multi-agent planner based on the MA-STRIPS form…☆12Nov 24, 2017Updated 8 years ago
- STRIPS benchmarks for classical planning☆14Mar 29, 2022Updated 3 years ago
- Planning through backpropagation using TensorFlow.☆16Oct 29, 2020Updated 5 years ago
- Cake Addin providing DocFx support☆15May 26, 2022Updated 3 years ago
- K* search based implementation of top-k and top-quality planners☆18Feb 7, 2026Updated last week
- Project for converting multi-agent epistemic planning problems to automated planning problems. Also includes utilities for dealing with P…☆22Dec 10, 2024Updated last year
- ForbidIterative planners for top-k, top-quality, and diverse planning problems☆22Oct 4, 2025Updated 4 months ago
- VSCode extension that grammar-checks texts through a local LLM☆26Oct 30, 2025Updated 3 months ago
- Your AI-Powered Personal Finance Assistant☆29Jul 26, 2025Updated 6 months ago
- LTeX: Grammar/spell checker for VS Code using LanguageTool with support for LaTeX , Markdown , and others☆896Jan 14, 2024Updated 2 years ago
- Python code from Peter Norvig and Stuart Russell's Artificial Intelligence, A Modern Approach☆28Feb 4, 2023Updated 3 years ago
- VehicleSim☆18Apr 8, 2025Updated 10 months ago
- Symk is a state-of-the-art classical optimal and top-k planner.☆42Dec 16, 2025Updated last month
- Lifted Logic for Task Networks: SAT-driven Planning for Totally-ordered Hierarchical Task Networks (HTN)☆33Dec 5, 2023Updated 2 years ago
- A command-line utility to manage Keep-a-changelog formatted changelogs. Written in Go, works nicely on Monorepo.☆14Dec 8, 2024Updated last year
- ☆10May 3, 2024Updated last year
- Linear MALDI-ToF simultaneous spectrum deconvolution and baseline removal☆11Jan 23, 2020Updated 6 years ago
- A persistent, map-like object for the Go programming language. Supports customization.☆12Feb 7, 2026Updated last week
- Pins Go version when bumping dependencies☆12Nov 24, 2025Updated 2 months ago
- Experimental Homebrew support for ARM64 Linux.☆10Sep 4, 2024Updated last year
- An interactive tool designed to help you write more effectively in English.☆12Nov 12, 2024Updated last year
- HTN planning in Ruby☆38Feb 8, 2026Updated last week
- jargonLint: A project to build and maintain comprehensive Vale rules.☆15Feb 2, 2026Updated last week
- A GitHub action for using the latest released Go version and the minimal support Go version (from go.mod) and a build matrix of them and …☆14Updated this week
- Extension to operate Matlab in VS Code☆10Sep 15, 2022Updated 3 years ago
- An implementation of the Conflict-Based Search, written in Python 3. This project, however, will support weighted edges and uncertainty r…☆11Jun 13, 2020Updated 5 years ago
- A powerful and user-friendly Typst package for drawing physics diagrams.☆15Dec 24, 2025Updated last month
- A secure, beautiful, and highly customizable lockscreen with optional full-vault encryption for the notes app obsidian.☆16Oct 18, 2025Updated 3 months ago
- Navigation Turing Test (NTT): Learning to Evaluate Human-Like Navigation [ICML 2021]☆15Jul 17, 2025Updated 6 months ago
- Reinforcement Learning framework for Temporal Goals☆11Mar 6, 2023Updated 2 years ago
- ☆10Mar 31, 2023Updated 2 years ago
- The Generic version of `gcache`. It supports multiple eviction policies: LRU, LFU, ARC.☆12May 26, 2025Updated 8 months ago
- A dark/light theme for Obsidian.☆11May 16, 2025Updated 8 months ago
- goimportx is a tool to help you manage your go imports.☆10Jun 3, 2024Updated last year
- Lightweight string parsing and representation of angles.☆16Nov 24, 2025Updated 2 months ago
- cwf is a small tool to quickly share content (e.g. logfiles, commands, ...) with your friends and colleagues.☆11Jul 30, 2025Updated 6 months ago
- Fish plugin to cleanly manage abbreviations☆10Aug 26, 2020Updated 5 years ago