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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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
- DSDT patch repository for Dell XPS13 9333☆10Apr 22, 2017Updated 9 years ago
- Reinforcement Learning for Classical Planning☆12Apr 13, 2022Updated 4 years ago
- Home Assistant support for Tuya BLE devices☆10May 25, 2025Updated last year
- [EMNLP 2020] Data and PyTorch code of ConjNLI: Natural Language Inference over Conjunctive Sentences☆10Oct 23, 2020Updated 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
- ⚡️ ClickHouse client administrative and statistic dashboard☆15Mar 24, 2020Updated 6 years ago
- Fixed-width data source for Spark SQL and DataFrames☆10Oct 25, 2016Updated 9 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.
- Add simple Makefile to SQLite extension `extension-functions.c` by Liam Healy☆10Mar 24, 2021Updated 5 years ago
- Helps you replace text and lines in files from Chef recipes.☆20Mar 6, 2018Updated 8 years ago
- Data and code for Natural Language Inference with Multiple Premises☆13May 15, 2019Updated 7 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
- Latex listing for planning formalisms☆15May 17, 2022Updated 4 years ago
- Perseus is a set of scripts (docker+javascript) to investigate a distributed database's responsiveness when one of its three nodes is iso…☆48Mar 29, 2019Updated 7 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
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Raphael Radar is a JavaScript library to draw a controlable radar chart using Raphael.js, a JavaScript library to draw SVG☆19May 2, 2011Updated 15 years ago
- Git clone of http://code.google.com/p/php-sql-parser/☆21Apr 21, 2015Updated 11 years ago
- A collection of IJulia Notebooks utilizing the CurricularAnalytics.jl Toolbox☆13Jul 13, 2023Updated 2 years ago
- ESP32 WiFi powered digital Camera only for ArduCam OV5642 (5 MP)☆12Jul 19, 2020Updated 5 years ago
- ☆14Jan 12, 2017Updated 9 years ago
- RoBERTa based Spam Message Detection☆19Aug 24, 2025Updated 10 months ago
- A Packer.io build for Graphite. It produces an AWS AMI and/or a Docker Image.☆10Mar 14, 2022Updated 4 years ago
- Open source HTML5 charts using the canvas tag.☆33Dec 4, 2015Updated 10 years ago
- ☆11Nov 3, 2025Updated 8 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Python package for automata theory.☆59Jan 17, 2024Updated 2 years ago
- Nagios SNMP Trap Interface☆15Jun 6, 2018Updated 8 years ago
- An OpenAI Gym environment for Inventory Control problems☆58Mar 26, 2020Updated 6 years ago
- Taxonomic Fragmentation of the NLI Task☆21Nov 11, 2020Updated 5 years ago
- PHP wrappers for Sikuli☆17Aug 2, 2016Updated 9 years ago
- An open-ended eval framework for mcp.run tools☆22May 22, 2025Updated last year
- The example apps in this repository each showcase a key Reflect feature. Each app is built using our simple embedding model and annotated…☆13Feb 15, 2018Updated 8 years ago