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
• 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
• whitemech / lydia
  A tool for LDLf translation to DFA and for LDLf synthesis.
  ☆23Updated 2 years ago
• whitemech / flloat
  From LTLf/LDLf To Automata
  ☆22Updated 5 years ago
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆39Updated 3 years ago
• vardigroup / lisa
  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
• 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)
  ☆20Updated 3 months 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
• latextemplates / lncs-enhanced
  Improved Lecture Notes in Computer Science (LNCS) template
  ☆266Updated 3 weeks ago
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆275Updated 2 weeks ago
• Oneiroe / PySimpleAutomata
  Academic Python Library to manage DFA, NFA and AFW automata.
  ☆23Updated last year
• nicolaprezza / CTLSAT
  CTL (Computation Tree Logic) SAT solver
  ☆15Updated 5 years ago
• hjalti / mossum
  Moss summarizer
  ☆194Updated 3 years ago
• ckaestne / seaibib
  Software Engineering for AI/ML -- An Annotated Bibliography
  ☆334Updated last year
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated last year
• tdurieux / anonymous_github
  Anonymous Github is a proxy server to support anonymous browsing of Github repositories for open-science code and data.
  ☆1,931Updated this week
• RiccardoDeMasellis / FLLOAT
  A library for generating automata from LTL and LDL formulas with finite-trace semantics.
  ☆11Updated 4 years ago
• backtracking / bibtex2html
  ☆106Updated last year
• nimble-code / Spin
  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
  ☆450Updated 3 months ago
• ercoppa / aprof
  an input-sensitive profiler
  ☆17Updated 6 years ago
• HexHive / thesis_template
  Template for EPFL (BSc, MSc, or doctoral) theses and semester projects
  ☆137Updated 11 months ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆20Updated 3 years ago
• soachishti / moss.py
  Python client for Moss: A System for Detecting Software Similarity
  ☆409Updated 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
• GumTreeDiff / cgum
  The C parser for GumTree
  ☆14Updated 5 years ago
• anishathalye / auriga
  Auriga is a minimalist LaTeX beamer presentation theme 📽
  ☆393Updated 11 months ago
• qfiard / cuda-sat-solver
  An implementation of a SAT solver using the CUDA library
  ☆15Updated 8 years ago
• latextemplates / ieee-enhanced
  Quick start for modern LaTeXing for an IEEE conference
  ☆113Updated 2 weeks ago