manuelcoppotelli / beamer-roma-themeLinks
A spiffy theme for LaTex Beamer inspired by Rome
☆12Updated 6 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:
- 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.☆23Updated last year
- Moss summarizer☆194Updated 3 years ago
- 🎓Collection of useful repositories☆161Updated 5 months ago
- A tool for LDLf translation to DFA and for LDLf synthesis.☆23Updated 2 years ago
- Export Jupyter Notebooks to (Xe)LaTeX with Greek Support☆13Updated 7 years ago
- A framework for inference and testing of software behaviour.☆13Updated 2 years ago
- Μεμονωμένα Περιστατικά αστυνομικής βίας☆77Updated 4 years ago
- Python client for Moss: A System for Detecting Software Similarity☆409Updated last year
- Engineering in Computer Science Master Degree Notes☆11Updated 2 years ago
- Tile map of the Computer Science Department of Università di Pisa☆12Updated 4 years ago
- BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)☆21Updated 4 months ago
- Notes taken in the academic year 2018-2019 at Università di Milano-Bicocca☆15Updated 6 years ago
- Notes of ICT Infrastructures course - University of Pisa (Italy)☆30Updated 4 years ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆39Updated 3 years ago
- template LaTeX per tesi di laurea in italiano ed inglese☆57Updated 3 years ago
- Specify and synthesize systems using symbolic algorithms☆52Updated last month
- Improved version of Detex - tool for extracting plain text from TeX and LaTeX sources☆248Updated last year
- Quick start for modern LaTeXing for an IEEE conference☆112Updated last month
- A toolkit for SAT-based prototyping in Python☆444Updated last week
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis☆39Updated 2 years ago
- Notes from the Computational Mathematics course held by professor Antonio Frangioni and professor Federico Poloni at University of Pisa☆12Updated 4 years 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
- Improved Lecture Notes in Computer Science (LNCS) template☆266Updated last month
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Updated 12 years ago
- A template for writing CS papers with latex -- includes CI, todonotes, ...☆43Updated 3 months ago
- DEciding Equivalence Properties in SECurity protocols☆20Updated 2 years ago
- Teaching material for the course of Deep Learning and Applied AI, 2nd semester 2020, Sapienza University of Rome☆34Updated 5 years ago
- An curated list of papers on program synthesis.☆70Updated 6 years ago
- Unofficial LaTeX class for the new version of the Europass curriculum vitae☆123Updated last year