A spiffy theme for LaTex Beamer inspired by Rome
☆12Sep 25, 2019Updated 6 years ago
Alternatives and similar repositories for beamer-roma-theme
Users that are interested in beamer-roma-theme are comparing it to the libraries listed below
Sorting:
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Nov 3, 2024Updated last year
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Jan 8, 2014Updated 12 years ago
- Examples of use of RL agents for several games☆14Nov 17, 2019Updated 6 years ago
- Yet another Python project template.☆13Sep 13, 2024Updated last year
- An open source framework to easily build and deploy eBPF/XDP network monitoring probes and clusters in order to perform Service Programs …☆25Jun 1, 2022Updated 3 years ago
- From LTLf/LDLf To Automata☆22Aug 17, 2020Updated 5 years ago
- A Python script to create cactus and scatter plots based on matplotlib☆27Mar 20, 2021Updated 4 years ago
- ☆32Mar 21, 2024Updated last year
- MPIA Python Tutorial Source☆14May 15, 2012Updated 13 years ago
- ☆11Nov 12, 2017Updated 8 years ago
- Utils for Cryptography class (1047622)☆14Nov 13, 2025Updated 3 months ago
- 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
- A script to copy/backup the backup files from a Proxmox server to an external harddrive and a tape device☆10Apr 30, 2025Updated 10 months ago
- Preparing Proxmox VE after installation☆16Feb 22, 2020Updated 6 years ago
- Node.js module to find IP addresses of RPi in your LAN.☆10Jul 31, 2023Updated 2 years ago
- A library for generating automata from LTL and LDL formulas with finite-trace semantics.☆11Dec 14, 2021Updated 4 years ago
- Displays Habitica tasks in calendar format, along with some other helpful info and a sleep toggle.☆13Oct 6, 2023Updated 2 years ago
- Facebook phishing page☆10Oct 4, 2020Updated 5 years ago
- My Master's thesis. Reinforcement Learning for LTLf/LDLf goals.☆10Aug 25, 2018Updated 7 years ago
- ☆12Jan 8, 2016Updated 10 years ago
- A framework for inference and testing of software behaviour.☆13Jun 14, 2023Updated 2 years ago
- Fast string seaching for node.js ( aho-corasick algorithm )☆13Jan 24, 2024Updated 2 years ago
- 🌳 Lightweight and fast router for JavaScript based on Radix Tree. This fork adds functional matching!☆15Feb 19, 2024Updated 2 years ago
- IDS/IPS malware download evasion☆15Feb 21, 2019Updated 7 years ago
- Solving the Expression Problem in C++11☆45Nov 10, 2012Updated 13 years ago
- Black-box abm calibration kit by the Bank of Italy☆58Nov 17, 2025Updated 3 months ago
- CVE-2022-24122 Proof of Concept☆13Mar 15, 2022Updated 3 years ago
- ☆14Dec 28, 2020Updated 5 years ago
- Domain and problem PDDL parser in Python3 using ply.☆13Aug 21, 2018Updated 7 years ago
- A light weight (~560 byte) universal JavaScript base58 encoder / decoder.☆14Feb 24, 2026Updated 2 weeks ago
- BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files☆14Apr 1, 2017Updated 8 years ago
- Specify and synthesize systems using symbolic algorithms☆52Dec 15, 2025Updated 2 months ago
- PDDL exercises and coursework assignments.☆54Apr 18, 2025Updated 10 months ago
- This repository is the implementation of the paper "Beating Atari with Natural Language Guided Reinforcement Learning"☆11Nov 25, 2018Updated 7 years ago
- Latex listing for planning formalisms☆15May 17, 2022Updated 3 years ago
- General matrix multiplication for ndarrays☆18Jan 7, 2016Updated 10 years ago
- Machine Learning algorithms implementation in Python from scratch.☆11Feb 10, 2019Updated 7 years ago
- learning to play atari games with reinforcement learning☆10Jan 4, 2016Updated 10 years ago
- How to use LLVM coverage for C++☆13Sep 27, 2019Updated 6 years ago