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
- Notes of several master courses attended at sapienza engineering in computer science☆37Updated 4 years ago
- Detect common mistakes in academic papers☆61Updated 6 years ago
- Academic Python Library to manage DFA, NFA and AFW automata.☆23Updated last year
- This plugin displays your tex source in a textarea so plugins like grammarly can check it.☆518Updated 2 years ago
- A tool for LDLf translation to DFA and for LDLf synthesis.☆23Updated 2 years ago
- A template for writing CS papers with latex -- includes CI, todonotes, ...☆42Updated last month
- The C parser for GumTree☆13Updated 5 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
- BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)☆19Updated 2 months ago
- An extension of the Fast Downward planning system with state-of-the-art algorithms☆18Updated 3 weeks ago
- HotCRP conference review software☆377Updated this week
- Μεμονωμένα Περιστατικά αστυνομικής βίας☆78Updated 4 years ago
- Moss summarizer☆194Updated 3 years ago
- An curated list of papers on program synthesis.☆70Updated 6 years ago
- CTL (Computation Tree Logic) SAT solver☆15Updated 5 years ago
- Overleaf Two-Way Synchronization☆355Updated last year
- Slides and stuffs of the meetings during the 2020.☆16Updated 3 years ago
- A free, open-source Java library for automata learning algorithms☆220Updated this week
- Neural Code Comprehension: A Learnable Representation of Code Semantics☆215Updated last year
- Series of lectures on Scientific Methodology and Performance Evaluation☆70Updated last week
- Easily track your ShareLaTeX changes using git. One simple command to rule them all!☆68Updated 7 years ago
- CS Graduate Job Guide☆33Updated last year
- A toolkit for SAT-based prototyping in Python☆437Updated 2 weeks ago
- 👨💻 My PhD.☆190Updated 3 years ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆37Updated 2 years ago
- Unofficial LaTeX class for the new version of the Europass curriculum vitae☆122Updated 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 4 years ago
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆211Updated last month
- Nice and flexible template environment for papers written in LaTeX☆148Updated 3 weeks ago