LaTeX class for the accepted standard for theses and dissertations at PPGCC/PUCRS Brazil
☆20Jun 13, 2025Updated last year
Alternatives and similar repositories for PP-LaTeX
Users that are interested in PP-LaTeX are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LaTeX class for the accepted standard for theses and dissertations at PPGCC/PUCRS Brazil☆25Apr 12, 2023Updated 3 years ago
- Script que verifica se os arquivos .bib estão seguindo as regras das referências conforme o template LaTeX do PPGCC/PUCRS.☆17Oct 18, 2021Updated 4 years ago
- Reinforcement Learning framework for Temporal Goals☆11Mar 6, 2023Updated 3 years ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆17Nov 3, 2024Updated last year
- This repository contains the Pig Latin scripts, UDFs and datasets used in the book Pig Design Patterns by Pradeep Pasupuleti, published b…☆23Apr 9, 2014Updated 12 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Accompanying code for "Learning and Planning in Average-Reward Markov Decision Processes"☆15Feb 10, 2021Updated 5 years ago
- A tool for LDLf translation to DFA and for LDLf synthesis.☆24Sep 22, 2023Updated 2 years ago
- Kernel Module that implements Paxos protocol☆12Oct 23, 2020Updated 5 years ago
- PostgreSQL-compatible TPC-H benchmark, with wrapper scripts for populating data and evaluating performance☆30Jun 28, 2016Updated 10 years ago
- DSDT patch repository for Dell XPS13 9333☆10Apr 22, 2017Updated 9 years ago
- Proper Way to Format PHP in Zed (Laravel Pint)☆14Jul 10, 2026Updated 2 weeks ago
- [NAACL 2021] Reading and Acting while Blindfolded: The Need for Semantics in Text Game Agents☆11May 31, 2021Updated 5 years ago
- Reinforcement Learning for Classical Planning☆12Apr 13, 2022Updated 4 years ago
- Monte Carlo Planning with Large Language Model for Text-Based Game Agents☆13Mar 2, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- This repository contains code for the paper "Are Pretrained Language Models Symbolic Reasoners over Knowledge?"☆13Mar 23, 2021Updated 5 years ago
- Home Assistant support for Tuya BLE devices☆10May 25, 2025Updated last year
- Code and data for experiments on semantic fragments☆11Jun 23, 2022Updated 4 years ago
- INACTIVE - http://mzl.la/ghe-archive - Simple to use implementation of Inneractive API for Firefox OS☆16Mar 28, 2019Updated 7 years ago
- [EMNLP 2020] Data and PyTorch code of ConjNLI: Natural Language Inference over Conjunctive Sentences☆10Oct 23, 2020Updated 5 years ago
- MQTT to HomeKit bridge☆15Mar 7, 2023Updated 3 years ago
- Fixed-width data source for Spark SQL and DataFrames☆10Oct 25, 2016Updated 9 years ago
- Helps you replace text and lines in files from Chef recipes.☆20Mar 6, 2018Updated 8 years ago
- ⚡️ ClickHouse client administrative and statistic dashboard☆15Mar 24, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Data and code for Natural Language Inference with Multiple Premises☆13May 15, 2019Updated 7 years ago
- Latex listing for planning formalisms☆15May 17, 2022Updated 4 years ago
- A simple rc.d script to unlock GELI disks in freebsd based on keys and passphrases accessed from other systems via ssh.☆19Apr 30, 2020Updated 6 years ago
- Extracting action sequences and generating domain models.☆15Dec 18, 2022Updated 3 years ago
- Evaluation and baseline scripts for the ASSIN shared task.☆11Oct 12, 2019Updated 6 years ago
- Template-DQN and DRRN agent implementations☆22Jun 12, 2023Updated 3 years ago
- Add simple Makefile to SQLite extension `extension-functions.c` by Liam Healy☆10Mar 24, 2021Updated 5 years ago
- A neurosymbolic T5 agent for playing text games, from the EACL 2023 paper "Behavior Cloned Transformers are Neurosymbolic Reasoners"☆20Feb 25, 2023Updated 3 years ago
- An universal sd/image creator for small arm development platform☆21Jul 2, 2016Updated 10 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆11Nov 3, 2025Updated 8 months ago
- Tweaks to Flash ver. of Notch's Infinite Mario Bros: Working score, levels that stay after death, etc☆12Jul 27, 2021Updated 4 years ago
- iOS app + Today widget that monitors the status of my web apps. Updated for SwiftUI!☆40Jun 30, 2022Updated 4 years ago
- A Python package for automata theory.☆60Jan 17, 2024Updated 2 years ago
- Python DSL for writing PDDL☆25Aug 13, 2021Updated 4 years ago
- Game development library for petit games☆12Aug 27, 2019Updated 6 years ago
- Email Classification using Machine Learning and Natural Language Processing in Python☆14Nov 30, 2018Updated 7 years ago