LTeX: Grammar/spell checker for VS Code using LanguageTool with support for LaTeX , Markdown , and others
☆29Jul 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LTeX+: Grammar/spell checker for VS Code using LanguageTool with support for LaTeX , Markdown , and others☆223May 19, 2026Updated last week
- Plan visualization for AI Planning. It includes Gantt chart, resource/object utilization swim-lane diagram, line plots for fluents and is…☆11Nov 29, 2024Updated last year
- STRIPS benchmarks for classical planning☆15Mar 29, 2022Updated 4 years ago
- Domain and problem PDDL parser in Python3 using ply.☆13Aug 21, 2018Updated 7 years ago
- The INVAL plan validator, and other PDDL tools.☆22Dec 3, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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
- Planning through backpropagation using TensorFlow.☆16Oct 29, 2020Updated 5 years ago
- K* search based implementation of top-k and top-quality planners☆19Apr 1, 2026Updated 2 months ago
- LTeX: Grammar/spell checker for VS Code using LanguageTool with support for LaTeX , Markdown , and others☆905Jan 14, 2024Updated 2 years ago
- ForbidIterative planners for top-k, top-quality, and diverse planning problems☆22Oct 4, 2025Updated 7 months ago
- Your AI-Powered Personal Finance Assistant☆33Jul 26, 2025Updated 10 months ago
- Python code from Peter Norvig and Stuart Russell's Artificial Intelligence, A Modern Approach☆28Feb 4, 2023Updated 3 years ago
- AppImage build for gnucash☆13Apr 6, 2026Updated last month
- Probabilistic planning in continuous state-action MDPs in TensorFlow.☆13Jun 21, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Collaborative definition of HDDL Temporal extension☆10Jan 9, 2025Updated last year
- A Python wrapper around Linux's renameat2 system call☆13Sep 5, 2023Updated 2 years ago
- Symk is a state-of-the-art classical optimal and top-k planner.☆45Updated this week
- Obnam - backup program (unofficial mirror)☆11Jun 25, 2019Updated 6 years ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Nov 3, 2024Updated last year
- Lab is a framework for evaluating planners and other solvers.☆35May 2, 2026Updated 3 weeks ago
- SIADEX - An HTN planner with temporal, partial order planning☆14Apr 19, 2023Updated 3 years ago
- Lifted Logic for Task Networks: SAT-driven Planning for Totally-ordered Hierarchical Task Networks (HTN)☆33Dec 5, 2023Updated 2 years ago
- Lightweight string parsing and representation of angles.☆17May 16, 2026Updated 2 weeks ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Total-order Forward Decomposition Algorithm: HTN Planning☆15May 11, 2021Updated 5 years ago
- Tools for generating cubed sphere grids and solving partial differential equations on the sphere.☆15Jan 20, 2026Updated 4 months ago
- HTN planning in Ruby☆38May 22, 2026Updated last week
- Latex listing for planning formalisms☆15May 17, 2022Updated 4 years ago
- Quick access to your Zotero references from the system tray☆12Aug 1, 2011Updated 14 years ago
- ☆11Mar 29, 2017Updated 9 years ago
- Utility for developers to help define DataDeps registration blocks, for reusing existing Data with DataDeps.jl☆18Aug 29, 2020Updated 5 years ago
- STRIPS planner with PDDL-like problem specification in Python☆48Dec 17, 2022Updated 3 years ago
- Conservative interpolation between two grids in two dimensions☆15Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Automated Programming Framework☆15May 11, 2020Updated 6 years ago
- ConceptualClimateModels.jl is a Julia package for creating and analysing conceptual models of climate, such as energy balance models, gla…☆10Updated this week
- Hybrid Deep MILP Planner☆14Sep 6, 2022Updated 3 years ago
- Climatology and the Ocean state☆20Apr 8, 2026Updated last month
- A package for representing playing cards for card games.☆16Aug 4, 2023Updated 2 years ago
- Python package to heuristically solve optimization problems on quasi-2d lattices using approximate tensor network contractions.☆12Sep 24, 2021Updated 4 years ago
- Dual numbers compatible with physical units☆11Dec 4, 2023Updated 2 years ago