Alternatives and similar repositories for beamer-roma-theme

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

• vardigroup / lisa

  View on GitHub
  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…
  ☆12Sep 27, 2021Updated 4 years ago
• whitemech / FOND4LTLf

  View on GitHub
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Nov 3, 2024Updated last year
• whitemech / flloat

  View on GitHub
  From LTLf/LDLf To Automata
  ☆22Aug 17, 2020Updated 5 years ago
• Oneiroe / PySimpleAutomata

  View on GitHub
  Academic Python Library to manage DFA, NFA and AFW automata.
  ☆23Apr 3, 2024Updated last year
• tcsprojects / pgsolver

  View on GitHub
  A collection of tools for generating, manipulating and - most of all - solving parity games.
  ☆37Jan 10, 2026Updated last month
• QuMuLab / planner-for-relevant-policies

  View on GitHub
  ☆32Mar 21, 2024Updated last year
• python4mpia / python4mpia

  View on GitHub
  MPIA Python Tutorial Source
  ☆14May 15, 2012Updated 13 years ago
• lrusso96 / Cryptography

  View on GitHub
  Utils for Cryptography class (1047622)
  ☆14Nov 13, 2025Updated 3 months ago
• Ultimaker / HeatedBedUpgrade

  View on GitHub
  Bill of Materials and all parts for Ultimaker Original Heated Bed Upgrade
  ☆12Sep 7, 2021Updated 4 years ago
• facebookresearch / OnlineAttacks

  View on GitHub
  Study of a hypothetical attack scenario where an attacker corrupts images that are fed into an AI system, and has only a few chances befo…
  ☆14Aug 31, 2021Updated 4 years ago
• jan-dolejsi / pddl-gantt

  View on GitHub
  Plan visualization for AI Planning. It includes Gantt chart, resource/object utilization swim-lane diagram, line plots for fluents and is…
  ☆10Nov 29, 2024Updated last year
• johnjoseph / fb-Phishing

  View on GitHub
  Facebook phishing page
  ☆10Oct 4, 2020Updated 5 years ago
• empirical-soft / asdl4cpp

  View on GitHub
  Abstract Syntax Definition Language (ASDL) ported to C++
  ☆13Aug 9, 2020Updated 5 years ago
• DeadlockState / Proxmox-prepare

  View on GitHub
  Preparing Proxmox VE after installation
  ☆16Feb 22, 2020Updated 5 years ago
• LeonardoEmili / stock-price-forecasting

  View on GitHub
  Distributed stock price forecasting system to predict S&P 500 stock prices.
  ☆11Nov 12, 2021Updated 4 years ago
• alexpatel / lean-modal

  View on GitHub
  modal logic library for LEAN theorem prover
  ☆12Aug 20, 2017Updated 8 years ago
• federella / CVE-2023-41717

  View on GitHub
  This repository is to provide a write-up and PoC for CVE-2023-41717.
  ☆12Aug 31, 2023Updated 2 years ago
• hadi-ilies / MyNesEmulator

  View on GitHub
  My first Golang project ! A basic Nintendo NES/FAMICOM emulator written in go.
  ☆12May 1, 2020Updated 5 years ago
• qeeqbox / falcon

  View on GitHub
  Collection of exploits that were verified by an automated system
  ☆13Jun 17, 2021Updated 4 years ago
• pyrtsa / poly

  View on GitHub
  Solving the Expression Problem in C++11
  ☆45Nov 10, 2012Updated 13 years ago
• bbinet / docker-teamviewer

  View on GitHub
  Docker image to run TeamViewer
  ☆13Oct 4, 2021Updated 4 years ago
• carlospolop / easy_stegoCTF

  View on GitHub
  Brutteforce for stego CTFs
  ☆16Nov 2, 2022Updated 3 years ago
• stffn / decl_auth_demo_app

  View on GitHub
  Demo Rails application that uses declarative_authorization
  ☆72Sep 6, 2010Updated 15 years ago
• Eplox / evador

  View on GitHub
  IDS/IPS malware download evasion
  ☆15Feb 21, 2019Updated 6 years ago
• immobiliare / radix3

  View on GitHub
  🌳 Lightweight and fast router for JavaScript based on Radix Tree. This fork adds functional matching!
  ☆15Feb 19, 2024Updated last year
• rindPHI / FSAUtils

  View on GitHub
  Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects
  ☆14Feb 4, 2019Updated 7 years ago
• srid / mpt-sample

  View on GitHub
  A sample project created using modern-package-template
  ☆12Jul 11, 2010Updated 15 years ago
• xn-sakina / hoshino

  View on GitHub
  Fast string seaching for node.js ( aho-corasick algorithm )
  ☆13Jan 24, 2024Updated 2 years ago
• ael-code / sapienza_wireless_cpal

  View on GitHub
  Sapienza wireless captive portal auto login
  ☆12May 3, 2016Updated 9 years ago
• jgcoded / BuDDy

  View on GitHub
  BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files
  ☆14Apr 1, 2017Updated 8 years ago
• fmoessbauer / LibMVC

  View on GitHub
  LibMVC is a collection of fast iterative minimum vertex cover solvers. Currently NuMVC and FastVC are implemented.
  ☆12Jun 14, 2022Updated 3 years ago
• Gold3nboy / cryptography_1819

  View on GitHub
  Notes for the Cryptography course at Sapienza
  ☆12Jun 24, 2020Updated 5 years ago
• tulip-control / omega

  View on GitHub
  Specify and synthesize systems using symbolic algorithms
  ☆52Dec 15, 2025Updated 2 months ago
• guicho271828 / ArriVAL

  View on GitHub
  Yet Another Classical planning plan validator written in modern Common Lisp
  ☆13Nov 9, 2021Updated 4 years ago
• thiagopbueno / pypddl-parser

  View on GitHub
  Domain and problem PDDL parser in Python3 using ply.
  ☆13Aug 21, 2018Updated 7 years ago
• fusioninventory / fusioninventory-android

  View on GitHub
  Android agent for FusionInventory
  ☆17Jun 22, 2017Updated 8 years ago
• IBM / nl2flow

  View on GitHub
  NL2Flow: A PDDL Interface to Flow Construction
  ☆14Dec 4, 2025Updated 2 months ago
• element-hq / feature-dashboard

  View on GitHub
  A task summary, plan, and burndown chart for building software together
  ☆13Jun 7, 2021Updated 4 years ago
• chriswayg / ansible-proxmox

  View on GitHub
  Ansible role to configure and customize a Proxmox server
  ☆13May 1, 2020Updated 5 years ago