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☆207Mar 15, 2026Updated 2 weeks ago
- 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☆14Mar 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
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- 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☆19Feb 21, 2026Updated last month
- LTeX: Grammar/spell checker for VS Code using LanguageTool with support for LaTeX , Markdown , and others☆904Jan 14, 2024Updated 2 years ago
- ForbidIterative planners for top-k, top-quality, and diverse planning problems☆22Oct 4, 2025Updated 5 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
- Pytorch official implementation for Imitating Unknown Policies via Exploration.☆14Oct 3, 2023Updated 2 years ago
- Probabilistic planning in continuous state-action MDPs in TensorFlow.☆13Jun 21, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Collaborative definition of HDDL Temporal extension☆10Jan 9, 2025Updated last year
- Symk is a state-of-the-art classical optimal and top-k planner.☆43Dec 16, 2025Updated 3 months ago
- Powerlifted Planner☆35Mar 7, 2026Updated 3 weeks ago
- Julia interface to Natural Earth data☆11Mar 11, 2026Updated 2 weeks ago
- Lab is a framework for evaluating planners and other solvers.☆35Updated this week
- A Python Framework for Multi-Agent Programming with Machine Learning☆19Jan 9, 2026Updated 2 months 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 11, 2026Updated 2 weeks ago
- Conservative interpolation between two grids in two dimensions☆14Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- HTN planning in Ruby☆38Updated this week
- 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
- ConceptualClimateModels.jl is a Julia package for creating and analysing conceptual models of climate, such as energy balance models, gla…☆10Aug 28, 2025Updated 7 months ago
- Climatology and the Ocean state☆19Feb 6, 2026Updated last month
- ☆10Feb 28, 2019Updated 7 years ago
- A package for representing playing cards for card games.☆15Aug 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
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- PDDL exercises and coursework assignments.☆54Apr 18, 2025Updated 11 months ago
- TensorOperations and cuTENSOR combined☆13Nov 26, 2019Updated 6 years ago
- VSCode extension that grammar-checks texts through a local LLM☆26Oct 30, 2025Updated 5 months ago
- Factor Graph Grammars in Python☆13Jan 17, 2026Updated 2 months ago
- Navigation Turing Test (NTT): Learning to Evaluate Human-Like Navigation [ICML 2021]☆15Jul 17, 2025Updated 8 months ago
- HedgeNext Nextcloud App☆11Aug 18, 2024Updated last year
- Source files for the 2020 ICAPS Online Summer School Lab on Plan Execution.☆11Oct 16, 2020Updated 5 years ago