manuelcoppotelli / beamer-roma-theme
A spiffy theme for LaTex Beamer inspired by Rome
☆13Updated 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
- 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 5 years ago
- Academic Python Library to manage DFA, NFA and AFW automata.☆24Updated 11 months ago
- GilBERTo: A pretrained language model based on RoBERTa for Italian☆72Updated 5 years ago
- Yet another Python project template.☆13Updated 5 months ago
- Notebooks for course HLT☆13Updated last year
- ☆77Updated 2 months ago
- A certifiable defense against adversarial examples by training neural networks to be provably robust☆219Updated 7 months 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
- Notes of several master courses attended at sapienza engineering in computer science☆36Updated 4 years ago
- Code line highlighting for LaTeX with lstlisting (for beamer)☆14Updated 10 years ago
- BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)☆17Updated 2 weeks ago
- ☆28Updated 2 years ago
- Synthesizer of LTLf formula☆10Updated 2 weeks 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
- Detect common mistakes in academic papers☆58Updated 6 years ago
- 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
- From LTLf/LDLf To Automata☆22Updated 4 years ago
- Auriga is a minimalist LaTeX beamer presentation theme 📽☆356Updated last month
- AlBERTo the first italian BERT model for Twitter languange understanding☆72Updated 4 years ago
- Notes of ICT Infrastructures course - University of Pisa (Italy)☆28Updated 3 years ago
- A python script for checking BibLatex .bib files for common referencing mistakes!☆178Updated last year
- UmBERTo: an Italian Language Model trained with Whole Word Masking.☆104Updated 2 years ago
- A tool for LDLf translation to DFA and for LDLf synthesis.☆23Updated last year
- Appunti corsi Ingegneria Informatica Sapienza☆21Updated 3 years ago
- Kathara labs for Practical Network Defense course at Sapienza☆14Updated 9 months ago
- An easy docker-compose deployement of hotcrp☆18Updated 2 years ago
- Autoreject.org — An automatic review generator☆69Updated last year
- Official repository for CMU Machine Learning Department's 10717: "The Art of the Paper".☆287Updated 2 years ago
- A class for Technion IIT PhD/Masters theses - with a sample thesis using it☆39Updated this week