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:
- 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
- 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
- K* search based implementation of top-k and top-quality planners☆19Apr 1, 2026Updated 2 weeks ago
- LTeX: Grammar/spell checker for VS Code using LanguageTool with support for LaTeX , Markdown , and others☆904Jan 14, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ForbidIterative planners for top-k, top-quality, and diverse planning problems☆22Oct 4, 2025Updated 6 months ago
- Project for converting multi-agent epistemic planning problems to automated planning problems. Also includes utilities for dealing with P…☆22Dec 10, 2024Updated last year
- Your AI-Powered Personal Finance Assistant☆33Jul 26, 2025Updated 8 months ago
- Cake Addin providing DocFx support☆15May 26, 2022Updated 3 years ago
- Python code from Peter Norvig and Stuart Russell's Artificial Intelligence, A Modern Approach☆28Feb 4, 2023Updated 3 years ago
- Collaborative definition of HDDL Temporal extension☆10Jan 9, 2025Updated last year
- Symk is a state-of-the-art classical optimal and top-k planner.☆44Updated this week
- Powerlifted Planner☆36Mar 7, 2026Updated last month
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Nov 3, 2024Updated last year
- 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.
- A Python Framework for Multi-Agent Programming with Machine Learning☆19Jan 9, 2026Updated 3 months 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.☆17Mar 30, 2026Updated 3 weeks ago
- Total-order Forward Decomposition Algorithm: HTN Planning☆15May 11, 2021Updated 4 years ago
- Tools for generating cubed sphere grids and solving partial differential equations on the sphere.☆15Jan 20, 2026Updated 2 months ago
- Conservative interpolation between two grids in two dimensions☆14Updated this week
- Utility for developers to help define DataDeps registration blocks, for reusing existing Data with DataDeps.jl☆18Aug 29, 2020Updated 5 years ago
- Hybrid Deep MILP Planner☆14Sep 6, 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.
- ☆10Feb 28, 2019Updated 7 years ago
- 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
- trying to improve the julia banner☆20Nov 1, 2021Updated 4 years ago
- A performance orientated QGL compiler.☆13Dec 19, 2023Updated 2 years ago
- PDDL exercises and coursework assignments.☆54Apr 18, 2025Updated last year
- TensorOperations and cuTENSOR combined☆13Nov 26, 2019Updated 6 years ago
- 2023 Capstone Design☆12Nov 2, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- VSCode extension that grammar-checks texts through a local LLM☆27Oct 30, 2025Updated 5 months ago
- Julia API to access data from the Instituto Nacional de Metereologia (INMET)☆17Mar 30, 2026Updated 2 weeks ago
- Navigation Turing Test (NTT): Learning to Evaluate Human-Like Navigation [ICML 2021]☆15Jul 17, 2025Updated 9 months ago
- Utilities for working with Mole units for the Julia language☆15Jan 13, 2022Updated 4 years ago
- Markdown 风格指南☆11Feb 23, 2020Updated 6 years ago
- HedgeNext Nextcloud App☆11Aug 18, 2024Updated last year
- Utilities for processing recipes☆17Jul 8, 2025Updated 9 months ago