Use LaTeX in PowerPoint
☆218Aug 28, 2020Updated 6 years ago
Alternatives and similar repositories for latex-ppt
Users that are interested in latex-ppt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automated Programming Framework☆16May 11, 2020Updated 6 years ago
- Qualitative Numeric Planning☆10Dec 10, 2020Updated 5 years ago
- Latex listing for planning formalisms☆15May 17, 2022Updated 4 years ago
- Design Projects for EE564☆13Jun 16, 2016Updated 10 years ago
- Your AI-Powered Personal Finance Assistant☆34Jul 26, 2025Updated last year
- AI Agents on 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.
- ☆33Mar 21, 2024Updated 2 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆20Dec 13, 2022Updated 3 years ago
- Learning Domain-Independent Planning Heuristics over Hypergraphs (ICAPS'20)☆15Mar 21, 2025Updated last year
- NL2Flow: A PDDL Interface to Flow Construction☆16Dec 4, 2025Updated 9 months ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆17Nov 3, 2024Updated last year
- Tools for interacting with the Planning.Domains API☆14Jun 17, 2023Updated 3 years ago
- K* search based implementation of top-k and top-quality planners☆19Aug 19, 2026Updated last month
- Cookiecutter template for testing Python scikit-learn clustering learners.☆14Aug 22, 2022Updated 4 years ago
- A tool for LDLf translation to DFA and for LDLf synthesis.☆24Sep 22, 2023Updated 2 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.
- Documentation for fastai☆34Jul 26, 2022Updated 4 years ago
- ICLR2020 Downloader & Search Tool☆18Oct 8, 2019Updated 6 years ago
- ☆16Oct 29, 2019Updated 6 years ago
- ForbidIterative planners for top-k, top-quality, and diverse planning problems☆23Oct 4, 2025Updated 11 months ago
- ☆12Feb 10, 2022Updated 4 years ago
- Julia parser, interpreter and compiler interface for the Planning Domain Definition Language (PDDL). Planners not included.☆89Sep 5, 2024Updated 2 years ago
- 🗺️ ASP planning tools for PDDL☆32Jul 9, 2021Updated 5 years ago
- Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks☆14Jun 30, 2022Updated 4 years ago
- A free and open guide to Planning Domain Definition Language to help you get started☆22Jun 24, 2022Updated 4 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.
- 📃 Set the correct (tab) titles for your arXiv papers containing tabs.☆46Dec 10, 2025Updated 9 months ago
- A python notebook + a PDF with the theoretical foundations☆12Aug 27, 2020Updated 6 years ago
- OpenSource Motor Design Workflow☆10Oct 19, 2020Updated 5 years ago
- Implementation of my approach in the Retrieval of Cultural Heritage Objects (RCHO) track of the 3D Shape Retrieval Challenge (SHREC) 2021☆15Mar 4, 2021Updated 5 years ago
- Easily download, verify, and extract archives☆49Updated this week
- Specify and synthesize systems using symbolic algorithms☆53Dec 15, 2025Updated 9 months ago
- (ICCV 2023) Vision Transformer Adapters for Generalizable Multitask Learning☆20Apr 25, 2024Updated 2 years ago
- Tarski - An AI Planning Modeling Framework☆74Dec 23, 2025Updated 8 months ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆13Sep 27, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A package with all scripts and commands needed to record joint and ee trajectories (and more) from mutliple robots for kinesthetic teachi…☆27May 17, 2022Updated 4 years ago
- 专门为RoboMaster比赛相关电机编写的控制程序，用户可以很方便地使用电脑软件操控电机的动作。镜像自：https://gitee.com/tarsgo-embedded/motor-controller☆12Sep 26, 2022Updated 3 years ago
- SPWM程序：三相六路互补+相位差120°+死区+调压☆13Oct 24, 2020Updated 5 years ago
- AI planners written in Python☆34Jun 2, 2021Updated 5 years ago
- Algorithms for solving temporal planning problems☆29Jan 27, 2023Updated 3 years ago
- Symk is a state-of-the-art classical optimal and top-k planner.☆49Aug 24, 2026Updated 3 weeks ago
- My Master's thesis. Reinforcement Learning for LTLf/LDLf goals.☆10Aug 25, 2018Updated 8 years ago