Alternatives and similar repositories for beamer-roma-theme

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

• marcofavorito / python-project-template
  Yet another Python project template.
  ☆13Updated 9 months ago
• whitemech / flloat
  From LTLf/LDLf To Automata
  ☆22Updated 4 years ago
• Angelogeb / AOSV
  Lecture notes for Advanced Operating Systems and Virtualization course at Sapienza University of Rome
  ☆22Updated 6 years ago
• Oneiroe / PySimpleAutomata
  Academic Python Library to manage DFA, NFA and AFW automata.
  ☆24Updated last year
• black-sat / black
  BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)
  ☆18Updated last week
• Shufang-Zhu / Syft
  Synthesizer of LTLf formula
  ☆9Updated 4 months ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆62Updated 4 months ago
• bunelr / GandRL_for_NPS
  Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
  ☆38Updated 2 years ago
• nicolaprezza / CTLSAT
  CTL (Computation Tree Logic) SAT solver
  ☆15Updated 5 years ago
• negrinho / sane_tikz
  Reconquer the canvas: beautiful Tikz figures without clunky Tikz code
  ☆413Updated 4 years ago
• AI-Planning / autoscale-benchmarks
  STRIPS benchmarks for classical planning
  ☆13Updated 3 years ago
• magemma / Notes-on-Computational-Mathematics
  Notes from the Computational Mathematics course held by professor Antonio Frangioni and professor Federico Poloni at University of Pisa
  ☆12Updated 3 years ago
• GumTreeDiff / cgum
  The C parser for GumTree
  ☆13Updated 4 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
• 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
• csartifacts / resources
  Resources on the Artifact Evaluation (AE) Process
  ☆17Updated 4 years ago
• sbusard / pynusmv
  PyNuSMV is a Python framework for experimenting and prototyping BDD-based model checking algorithms based on NuSMV.
  ☆24Updated 6 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
• Maumagnaguagno / Planning_LaTeX
  Latex listing for planning formalisms
  ☆14Updated 3 years ago
• QuMuLab / planner-for-relevant-policies
  ☆31Updated last year
• RiccardoDeMasellis / FLLOAT
  A library for generating automata from LTL and LDL formulas with finite-trace semantics.
  ☆11Updated 3 years ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆172Updated 3 weeks ago
• machine1104 / masterNotes
  Engineering in Computer Science Master Degree Notes
  ☆12Updated 2 years ago
• whitemech / lydia
  A tool for LDLf translation to DFA and for LDLf synthesis.
  ☆23Updated last year
• tomasgeffner / FOND-SAT
  FOND solver based on SAT
  ☆14Updated 2 years ago
• soachishti / moss.py
  Python client for Moss: A System for Detecting Software Similarity
  ☆403Updated 11 months ago
• gmazzamuto / europasscv
  Unofficial LaTeX class for the new version of the Europass curriculum vitae
  ☆118Updated last year
• galeone / italian-machine-learning-course
  [Italian] Material for a theoretical practical machine learning crash course with TensorFlow 2.0
  ☆73Updated 5 years ago
• invernizzi / Chrisper
  Detect common mistakes in academic papers
  ☆61Updated 6 years ago
• dityas / Athene
  A description logic reasoner for python.
  ☆16Updated 7 years ago