Alternatives and similar repositories for beamer-roma-theme

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

• 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 11 months ago
• Oneiroe / PySimpleAutomata
  Academic Python Library to manage DFA, NFA and AFW automata.
  ☆24Updated last year
• GumTreeDiff / cgum
  The C parser for GumTree
  ☆13Updated 4 years ago
• Angelogeb / AOSV
  Lecture notes for Advanced Operating Systems and Virtualization course at Sapienza University of Rome
  ☆22Updated 6 years ago
• latextemplates / lncs-enhanced
  Improved Lecture Notes in Computer Science (LNCS) template
  ☆264Updated 4 months ago
• robindijkhof / overleaf-textarea
  This plugin displays your tex source in a textarea so plugins like grammarly can check it.
  ☆518Updated 2 years ago
• alegrand / SMPE
  Series of lectures on Scientific Methodology and Performance Evaluation
  ☆70Updated last week
• negrinho / sane_tikz
  Reconquer the canvas: beautiful Tikz figures without clunky Tikz code
  ☆416Updated 4 years ago
• hjalti / mossum
  Moss summarizer
  ☆193Updated 3 years ago
• 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
• RiccardoDeMasellis / FLLOAT
  A library for generating automata from LTL and LDL formulas with finite-trace semantics.
  ☆11Updated 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 3 years ago
• whitemech / lydia
  A tool for LDLf translation to DFA and for LDLf synthesis.
  ☆23Updated last year
• pkubowicz / opendetex
  Improved version of Detex - tool for extracting plain text from TeX and LaTeX sources
  ☆244Updated 9 months ago
• invernizzi / Chrisper
  Detect common mistakes in academic papers
  ☆61Updated 6 years ago
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆37Updated 2 years ago
• backtracking / bibtex2html
  ☆103Updated last year
• gmazzamuto / europasscv
  Unofficial LaTeX class for the new version of the Europass curriculum vitae
  ☆121Updated last year
• black-sat / black
  BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)
  ☆18Updated this week
• dspinellis / latex-advice
  Advice for writing LaTeX documents
  ☆1,231Updated 2 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
• JDMCreator / LaTeXTableEditor
  readme
  ☆158Updated last year
• Jorl17 / sharelatex-git-integration-unofficial
  Easily track your ShareLaTeX changes using git. One simple command to rule them all!
  ☆69Updated 7 years ago
• gbossert / pylstar
  An implementation of the LSTAR Grammatical Inference Algorithm
  ☆51Updated last year
• DES-Lab / AALpy
  An Automata Learning Library Written in Python
  ☆189Updated this week
• nicolaprezza / CTLSAT
  CTL (Computation Tree Logic) SAT solver
  ☆15Updated 5 years ago
• steynvl / inferrer
  An automata learning library written in Python.
  ☆48Updated 5 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆50Updated 10 months ago
• dspinellis / tokenizer
  Convert source code into numerical tokens
  ☆65Updated 2 years ago