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
- 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
- Academic Python Library to manage DFA, NFA and AFW automata.☆24Updated last year
- A tool for LDLf translation to DFA and for LDLf synthesis.☆23Updated last year
- This plugin displays your tex source in a textarea so plugins like grammarly can check it.☆519Updated 2 years ago
- Improved Lecture Notes in Computer Science (LNCS) template☆265Updated 2 months ago
- Nice and flexible template environment for papers written in LaTeX☆143Updated 2 months ago
- Notes of several master courses attended at sapienza engineering in computer science☆37Updated 4 years ago
- A toolkit for SAT-based prototyping in Python☆427Updated last month
- PyNuSMV is a Python framework for experimenting and prototyping BDD-based model checking algorithms based on NuSMV.☆24Updated 6 years ago
- Reconquer the canvas: beautiful Tikz figures without clunky Tikz code☆415Updated 4 years ago
- Moss summarizer☆194Updated 2 years ago
- Improved version of Detex - tool for extracting plain text from TeX and LaTeX sources☆244Updated 8 months ago
- CTL (Computation Tree Logic) SAT solver☆15Updated 5 years ago
- Classical planning system featuring (saturated) cost partitioning☆17Updated last week
- Synthesizer of LTLf formula☆9Updated 5 months ago
- STRIPS benchmarks for classical planning☆13Updated 3 years ago
- Quick start for modern LaTeXing for an IEEE conference☆107Updated 2 months ago
- A framework for inference and testing of software behaviour.☆13Updated 2 years ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆37Updated 2 years ago
- Auriga is a minimalist LaTeX beamer presentation theme 📽☆376Updated 5 months ago
- Scalar feature extractor for AI planning problems and domains in PDDL format☆15Updated 4 years ago
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆200Updated last month
- HotCRP conference review software☆362Updated this week
- Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.☆415Updated 7 months ago
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆30Updated 3 years ago
- Tarski - An AI Planning Modeling Framework☆67Updated last year
- Unofficial LaTeX class for the new version of the Europass curriculum vitae☆119Updated last year
- FOND solver based on SAT☆14Updated 2 years ago