Use LaTeX in PowerPoint
☆220Aug 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:
- The fastai book, published as Jupyter Notebooks☆11Jun 7, 2022Updated 4 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆20Dec 13, 2022Updated 3 years ago
- A Python library for evaluating planners and other solvers.☆36Sep 11, 2026Updated last month
- Your AI-Powered Personal Finance Assistant☆35Jul 26, 2025Updated last year
- ☆33Mar 21, 2024Updated 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.
- 🗺️ ASP planning tools for PDDL☆31Jul 9, 2021Updated 5 years ago
- Learning Domain-Independent Planning Heuristics over Hypergraphs (ICAPS'20)☆15Mar 21, 2025Updated last year
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆21Sep 19, 2026Updated last month
- Tools for interacting with the Planning.Domains API☆14Jun 17, 2023Updated 3 years ago
- Code that translates grammar into PDDL, runs a planner to produce multiple plans, translates plans into trainable lale pipelines and trai…☆19Sep 17, 2025Updated last year
- FOND solver based on SAT☆15Oct 22, 2022Updated 4 years ago
- Desktop tool for microbial genome annotation and gene detection☆13Jun 22, 2021Updated 5 years ago
- A PowerPoint add-in to insert LaTeX equations into PowerPoint presentations on Windows and Mac☆1,458Sep 6, 2026Updated last month
- Datasets and code from our paper, where we use machine learning to predict if ChatGPT will refuse a given prompt.☆38Sep 23, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- K* search based implementation of top-k and top-quality planners☆19Aug 19, 2026Updated 2 months ago
- A tool for LDLf translation to DFA and for LDLf synthesis.☆24Sep 22, 2023Updated 3 years ago
- ICLR2020 Downloader & Search Tool☆18Oct 8, 2019Updated 7 years ago
- ☆16Oct 29, 2019Updated 7 years ago
- Julia parser, interpreter and compiler interface for the Planning Domain Definition Language (PDDL). Planners not included.☆90Sep 5, 2024Updated 2 years ago
- ☆16Dec 18, 2023Updated 2 years ago
- Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks☆14Jun 30, 2022Updated 4 years ago
- CoppeliaSim user manual☆15Oct 20, 2026Updated last week
- Implementation of my approach in the Retrieval of Cultural Heritage Objects (RCHO) track of the 3D Shape Retrieval Challenge (SHREC) 2021☆16Mar 4, 2021Updated 5 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.
- python implementation of inference and learning in Hidden Markov Models (HMM)☆10Apr 10, 2018Updated 8 years ago
- SCIENTIfic coLLaborative Archive☆11Aug 3, 2015Updated 11 years ago
- Library for action model acquisition from state trace data.☆25Jan 7, 2025Updated last year
- 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 5 years ago
- ☆13Dec 14, 2025Updated 10 months ago
- Deploy fastai models with Docker☆19Sep 27, 2020Updated 6 years ago
- More styles and useful extensions for Matplotlib☆844Jan 5, 2023Updated 3 years ago
- Maybe next gen of Pyzo IDE based on Flexx☆17Dec 17, 2017Updated 8 years ago
- General Purpose g-Estimation for End of Study or Time-Varying Outcomes☆12Jan 4, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Make your own mask. My mask protects you. Your mask protects me.☆27Oct 20, 2022Updated 4 years ago
- 国内用户如何充值使用ChatGPT 4.0的简单方法☆10Dec 30, 2024Updated last year
- Document parameters using comments☆10Aug 6, 2021Updated 5 years ago
- Implement proposal of paper☆12Jul 25, 2016Updated 10 years ago
- Tools for exploring and working with ALTREP objects in R☆11Aug 28, 2023Updated 3 years ago
- Multivariate normal CDF computation for tensors. Implementation of closed form derivatives.☆13Oct 24, 2022Updated 4 years ago
- Algorithms for solving temporal planning problems☆29Jan 27, 2023Updated 3 years ago