manuelcoppotelli / beamer-roma-themeLinks
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
Sorting:
- Coronavirus time series aligned by number of cases, not date.☆22Updated 5 years ago
- Yet another Python project template.☆13Updated 10 months ago
- A tool for LDLf translation to DFA and for LDLf synthesis.☆23Updated last year
- From LTLf/LDLf To Automata☆22Updated 4 years ago
- Synthesizer of LTLf formula☆9Updated 5 months ago
- LaTeX beamer template for presentations at Sapienza University of Rome☆25Updated 2 years ago
- Academic Python Library to manage DFA, NFA and AFW automata.☆24Updated last year
- Series of lectures on Scientific Methodology and Performance Evaluation☆70Updated 4 months ago
- Manipulate NNF (Negation Normal Form) logical sentences☆18Updated 2 years ago
- 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
- Unofficial LaTeX class for the new version of the Europass curriculum vitae☆119Updated last year
- ☆103Updated 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…☆12Updated 3 years ago
- 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…☆10Updated 10 years ago
- My latex notes on whatever I'm studying. All are available to the public, but please take them with a grain of salt and notify me in case…☆68Updated 4 months ago
- Improved Lecture Notes in Computer Science (LNCS) template☆264Updated 3 months ago
- Latex listing for planning formalisms☆14Updated 3 years ago
- template LaTeX per tesi di laurea in italiano ed inglese☆57Updated 3 years ago
- HotCRP conference review software☆364Updated this week
- Reference metadata and index repository☆79Updated last year
- STRIPS benchmarks for classical planning☆13Updated 3 years ago
- Quick start for modern LaTeXing for an IEEE conference☆107Updated 3 months ago
- Appunti del corso di Algebra (prof.ssa Venezia, II anno laurea in Informatica, Sapienza)☆12Updated 8 years ago
- check for passive words, weasel words, duplicate words, typographical errors and words strunk & white don't like☆589Updated 6 years ago
- ☆77Updated last month
- 🕰️ A solver for temporal programs.☆22Updated last year
- ☆33Updated last year
- A library for generating automata from LTL and LDL formulas with finite-trace semantics.☆11Updated 3 years ago
- Nice and flexible template environment for papers written in LaTeX☆145Updated 3 months ago
- Scalar feature extractor for AI planning problems and domains in PDDL format☆15Updated 4 years ago