A spiffy theme for LaTex Beamer inspired by Rome
☆12Sep 25, 2019Updated 7 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Coronavirus time series aligned by number of cases, not date.☆22May 21, 2020Updated 6 years ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆17Nov 3, 2024Updated last year
- Yet another Python project template.☆13Sep 13, 2024Updated 2 years ago
- 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 4 years ago
- CVE-2022-24122 Proof of Concept☆12Mar 15, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A python implementation of the XES standard that is based on the Java implementation OpenXes.☆21Dec 7, 2024Updated last year
- Academic Python Library to manage DFA, NFA and AFW automata.☆23Apr 3, 2024Updated 2 years ago
- My Master's thesis. Reinforcement Learning for LTLf/LDLf goals.☆10Aug 25, 2018Updated 8 years ago
- Plan visualization for AI Planning. It includes Gantt chart, resource/object utilization swim-lane diagram, line plots for fluents and is…☆12Nov 29, 2024Updated last year
- From LTLf/LDLf To Automata☆23Aug 17, 2020Updated 6 years ago
- Lecture notes for Advanced Operating Systems and Virtualization course at Sapienza University of Rome☆23Mar 8, 2019Updated 7 years ago
- Source of the Valvers website☆13Feb 11, 2023Updated 3 years ago
- Unifying Cross-Lingual Semantic Role Labeling with Heterogeneous Linguistic Resources (NAACL-2021).☆17Nov 18, 2021Updated 4 years ago
- Domain and problem PDDL parser in Python3 using ply.☆13Aug 21, 2018Updated 8 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Symk is a state-of-the-art classical optimal and top-k planner.☆49Aug 24, 2026Updated last month
- This repository is the implementation of the paper "Beating Atari with Natural Language Guided Reinforcement Learning"☆12Nov 25, 2018Updated 7 years ago
- 🚆 Analysis of delays of the Deutsche Bahn (DB)☆13Jun 3, 2023Updated 3 years ago
- A Python library for evaluating planners and other solvers.☆36Sep 11, 2026Updated 2 weeks ago
- Machine Learning algorithms implementation in Python from scratch.☆11Feb 10, 2019Updated 7 years ago
- CloudQuery Go SDK for source and destination plugins☆27Updated this week
- ☆33Mar 21, 2024Updated 2 years ago
- An index of blocklists and a tool to extract CIDRs to use in firewalls and network appliances.☆12Aug 3, 2023Updated 3 years ago
- General matrix multiplication for ndarrays☆18Jan 7, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Slides and stuffs of the meetings during the 2020.☆16Jan 18, 2022Updated 4 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Jul 17, 2026Updated 2 months ago
- The gofinder program is an acme user interface to search through Go projects. It might go unmaintained if https://github.com/fhs/acme-lsp…☆22Mar 3, 2019Updated 7 years ago
- FOND solver based on SAT☆15Oct 22, 2022Updated 3 years ago
- Portuguese BERT and XLM-R models fine-tuned in semantic role labeling.☆26Feb 11, 2022Updated 4 years ago
- Node.js module to find IP addresses of RPi in your LAN.☆10Jul 31, 2023Updated 3 years ago
- Go integration for acme☆14May 18, 2020Updated 6 years ago
- PDDL exercises and coursework assignments.☆54Apr 18, 2025Updated last year
- A simple MQTT transparent bridge between TheThingsNetwork and ThingsBoard. Written in Rust☆15Aug 30, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Another plug-in for using LaTeX in inkscape☆15Oct 16, 2022Updated 3 years ago
- Scrape/Parse Pastebin using GO and expression grammar (PEG)☆96Dec 10, 2024Updated last year
- Use the blockchain as a filesystem in Plan9☆26Jun 3, 2013Updated 13 years ago
- Go port of Rob Pike's Acme editor.☆22Mar 24, 2018Updated 8 years ago
- A Star Trek inspired slide theme for the Beamer LaTeX document class.☆14Sep 5, 2021Updated 5 years ago
- A Python package for automata theory.☆60Jan 17, 2024Updated 2 years ago
- NEIN NEIN NEIN NEIN NEIN NEIN NEIN NEIN NEIN!☆22Apr 25, 2026Updated 5 months ago