manuelcoppotelli / beamer-roma-theme
A spiffy theme for LaTex Beamer inspired by Rome
☆12Updated 5 years ago
Alternatives and similar repositories for beamer-roma-theme:
Users that are interested in beamer-roma-theme are comparing it to the libraries listed below
- From LTLf/LDLf To Automata☆22Updated 4 years ago
- Lecture notes for Advanced Operating Systems and Virtualization course at Sapienza University of Rome☆22Updated 6 years ago
- Yet another Python project template.☆13Updated 6 months ago
- BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)☆17Updated this week
- 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…☆12Updated 3 years ago
- Notes of several master courses attended at sapienza engineering in computer science☆36Updated 4 years ago
- Synthesizer of LTLf formula☆10Updated last month
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated 2 years ago
- Python package for Sentential Decision Diagrams (SDD)☆56Updated last month
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆9Updated 9 years ago
- A true minimalistic LaTeX beamer template☆150Updated 9 months ago
- natbib compatible splncs04.bst (Springer LNCS) BibTeX Style File built using a docstrip with the conventional merlin.mbs master file.☆51Updated 3 years ago
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆23Updated 2 years ago
- Notebooks for course HLT☆13Updated 2 years ago
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆17Updated 6 months ago
- STRIPS benchmarks for classical planning☆13Updated 3 years ago
- GilBERTo: A pretrained language model based on RoBERTa for Italian☆72Updated 5 years ago
- Latex listing for planning formalisms☆14Updated 2 years ago
- AlBERTo the first italian BERT model for Twitter languange understanding☆72Updated 4 years ago
- Classical planning system featuring (saturated) cost partitioning☆16Updated last week
- PyPSDD porting to Python 3 + PyTorch equivalent tree construction.☆15Updated last year
- A tool for LDLf translation to DFA and for LDLf synthesis.☆23Updated last year
- Unofficial LaTeX class for the new version of the Europass curriculum vitae☆118Updated last year
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Updated 11 years ago
- Auriga is a minimalist LaTeX beamer presentation theme 📽☆364Updated 2 months ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Updated 5 months ago
- Scalar feature extractor for AI planning problems and domains in PDDL format☆15Updated 4 years ago
- The diary of a n00b in the unfamiliar and terrifying venture into Capture-the-flag.☆12Updated 6 years ago
- BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files☆13Updated 8 years ago
- 🌍 PDDL instances covering the International Planning Competitions☆122Updated 4 years ago