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
Sorting:
- Coronavirus time series aligned by number of cases, not date.☆22Updated 4 years ago
- Lecture notes for Advanced Operating Systems and Virtualization course at Sapienza University of Rome☆22Updated 6 years ago
- Notes of several master courses attended at sapienza engineering in computer science☆36Updated 4 years ago
- Yet another Python project template.☆13Updated 8 months ago
- From LTLf/LDLf To Automata☆22Updated 4 years ago
- Appunti del corso di Algebra (prof.ssa Venezia, II anno laurea in Informatica, Sapienza)☆12Updated 8 years ago
- GilBERTo: A pretrained language model based on RoBERTa for Italian☆73Updated 5 years ago
- A class for Technion IIT PhD/Masters theses - with a sample thesis using it☆40Updated 3 weeks ago
- Academic Python Library to manage DFA, NFA and AFW automata.☆24Updated last year
- Synthesizer of LTLf formula☆10Updated 3 months ago
- ☆77Updated 2 months ago
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis☆38Updated 2 years ago
- A tool for LDLf translation to DFA and for LDLf synthesis.☆23Updated last year
- STRIPS benchmarks for classical planning☆13Updated 3 years ago
- LaTeX beamer template for presentations at Sapienza University of Rome☆24Updated 2 years ago
- Nice and flexible template environment for papers written in LaTeX☆138Updated this week
- A framework for inference and testing of software behaviour.☆13Updated last year
- Latex template for a TUM dissertation/PhD thesis☆111Updated last year
- BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)☆17Updated this week
- Improved version of Detex - tool for extracting plain text from TeX and LaTeX sources☆244Updated 6 months 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…☆9Updated 9 years ago
- Notebooks for course HLT☆13Updated 2 years ago
- Slides and stuffs of the meetings during the 2020.☆16Updated 3 years ago
- Trying out Length Extension Attack on SHA-256☆29Updated 3 years ago
- A little Python script to collect LaTeX sources for upload to the arXiv.☆354Updated 9 months ago
- Raccolta di esercizi del corso di Automi e Linguaggi Formali del Corso di Laurea in Informatica UNIPD☆9Updated 6 years ago
- Template for EPFL (BSc, MSc, or doctoral) theses and semester projects☆132Updated 3 months ago
- Python package for Sentential Decision Diagrams (SDD)☆59Updated 2 months ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- Forge your own CTF☆46Updated 3 years ago