Alternatives and similar repositories for beamer-roma-theme

Users that are interested in beamer-roma-theme are comparing it to the libraries listed below

• Angelogeb / AOSV
  Lecture notes for Advanced Operating Systems and Virtualization course at Sapienza University of Rome
  ☆22Updated 6 years ago
• picorana / align_covid
  Coronavirus time series aligned by number of cases, not date.
  ☆22Updated 5 years ago
• marfvr / python-project-template
  Yet another Python project template.
  ☆13Updated last year
• GiulianoAbruzzo / MSECS-Sapienza-Notes
  Notes of several master courses attended at sapienza engineering in computer science
  ☆37Updated 4 years ago
• RiccardoDeMasellis / FLLOAT
  A library for generating automata from LTL and LDL formulas with finite-trace semantics.
  ☆11Updated 3 years ago
• flandolfi / virtual-di-unipi
  Tile map of the Computer Science Department of Università di Pisa
  ☆12Updated 4 years ago
• Oneiroe / PySimpleAutomata
  Academic Python Library to manage DFA, NFA and AFW automata.
  ☆23Updated last year
• latextemplates / lncs-enhanced
  Improved Lecture Notes in Computer Science (LNCS) template
  ☆266Updated 2 weeks ago
• hjalti / mossum
  Moss summarizer
  ☆194Updated 3 years ago
• machine1104 / masterNotes
  Engineering in Computer Science Master Degree Notes
  ☆11Updated 2 years ago
• tyler-utah / PBL
  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…
  ☆10Updated 10 years ago
• TUM-LIS / tum-dissertation-latex
  Latex template for a TUM dissertation/PhD thesis
  ☆119Updated 2 years ago
• robindijkhof / overleaf-textarea
  This plugin displays your tex source in a textarea so plugins like grammarly can check it.
  ☆518Updated 2 years ago
• black-sat / black
  BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)
  ☆19Updated 2 months ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆51Updated last year
• alegrand / SMPE
  Series of lectures on Scientific Methodology and Performance Evaluation
  ☆70Updated this week
• JJGO / research-logbook
  A simple yet powerful LaTeX template for research notebook with modular components and a wide variety of tools.
  ☆26Updated 3 years ago
• gmazzamuto / europasscv
  Unofficial LaTeX class for the new version of the Europass curriculum vitae
  ☆122Updated last year
• tyler-utah / PBDD
  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
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆180Updated last month
• NeuralNetworkVerification / Marabou
  ☆303Updated last month
• Jorl17 / sharelatex-git-integration-unofficial
  Easily track your ShareLaTeX changes using git. One simple command to rule them all!
  ☆68Updated 7 years ago
• whitemech / lydia
  A tool for LDLf translation to DFA and for LDLf synthesis.
  ☆23Updated 2 years ago
• Unipisa / HLT
  Notebooks for course HLT
  ☆13Updated 2 years ago
• dspinellis / latex-advice
  Advice for writing LaTeX documents
  ☆1,254Updated last week
• eth-sri / eran
  ETH Robustness Analyzer for Deep Neural Networks
  ☆344Updated 2 years ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆103Updated last week
• Pezmc / BibLatex-Check
  A python script for checking BibLatex .bib files for common referencing mistakes!
  ☆179Updated 2 years ago
• sylvainhalle / PaperShell
  Nice and flexible template environment for papers written in LaTeX
  ☆148Updated last month
• stanleybak / hylaa
  Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs
  ☆27Updated 2 years ago