Alternatives and similar repositories for beamer-roma-theme

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

• latextemplates / lncs-enhanced
  Improved Lecture Notes in Computer Science (LNCS) template
  ☆266Updated 5 months ago
• Angelogeb / AOSV
  Lecture notes for Advanced Operating Systems and Virtualization course at Sapienza University of Rome
  ☆22Updated 6 years ago
• whitemech / flloat
  From LTLf/LDLf To Automata
  ☆22Updated 5 years ago
• marfvr / python-project-template
  Yet another Python project template.
  ☆13Updated last year
• whitemech / lydia
  A tool for LDLf translation to DFA and for LDLf synthesis.
  ☆23Updated 2 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
• Oneiroe / PySimpleAutomata
  Academic Python Library to manage DFA, NFA and AFW automata.
  ☆24Updated last year
• tpavlic / splncs04nat
  natbib compatible splncs04.bst (Springer LNCS) BibTeX Style File built using a docstrip with the conventional merlin.mbs master file.
  ☆51Updated 3 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
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated 2 years ago
• AI-Planning / autoscale-benchmarks
  STRIPS benchmarks for classical planning
  ☆13Updated 3 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
• idb-ita / GilBERTo
  GilBERTo: A pretrained language model based on RoBERTa for Italian
  ☆73Updated 5 years ago
• whitemech / pylogics
  A Python library for logic formalisms representation and manipulation.
  ☆16Updated last year
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated 11 months ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆66Updated 7 months ago
• TUM-LIS / tum-dissertation-latex
  Latex template for a TUM dissertation/PhD thesis
  ☆117Updated 2 years ago
• latextemplates / ieee-enhanced
  Quick start for modern LaTeXing for an IEEE conference
  ☆108Updated 5 months ago
• fawcettc / planning-features
  Scalar feature extractor for AI planning problems and domains in PDDL format
  ☆16Updated 4 years ago
• abcorrea / powerlifted
  Powerlifted Planner
  ☆32Updated 2 months ago
• black-sat / black
  BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)
  ☆19Updated last month
• QuMuLab / planner-for-relevant-policies
  ☆32Updated last year
• md-cs-student-unipi / Materials
  🎓Collection of useful repositories
  ☆159Updated 2 months 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
• jendrikseipp / scorpion
  An extension of the Fast Downward planning system with state-of-the-art algorithms
  ☆18Updated 3 weeks ago
• negrinho / sane_tikz
  Reconquer the canvas: beautiful Tikz figures without clunky Tikz code
  ☆418Updated 4 years ago
• aig-upf / tarski
  Tarski - An AI Planning Modeling Framework
  ☆71Updated last year
• Maumagnaguagno / Planning_LaTeX
  Latex listing for planning formalisms
  ☆14Updated 3 years ago
• sylvainhalle / PaperShell
  Nice and flexible template environment for papers written in LaTeX
  ☆147Updated last month
• tomasgeffner / FOND-SAT
  FOND solver based on SAT
  ☆14Updated 2 years ago