LaTeX class for the accepted standard for theses and dissertations at PPGCC/PUCRS Brazil
☆20Jun 13, 2025Updated 9 months ago
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:
- Script que verifica se os arquivos .bib estão seguindo as regras das referências conforme o template LaTeX do PPGCC/PUCRS.☆16Oct 18, 2021Updated 4 years ago
- A Python library for logic formalisms representation and manipulation.☆16Jan 21, 2024Updated 2 years ago
- 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 11 years ago
- A tool for LDLf translation to DFA and for LDLf synthesis.☆23Sep 22, 2023Updated 2 years ago
- Vue / D3 UX graphs components☆19Apr 11, 2017Updated 8 years ago
- Reinforcement Learning for Classical Planning☆12Apr 13, 2022Updated 3 years ago
- This repository contains code for the paper "Are Pretrained Language Models Symbolic Reasoners over Knowledge?"☆13Mar 23, 2021Updated 5 years ago
- Code and data for experiments on semantic fragments☆11Jun 23, 2022Updated 3 years ago
- [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
- python-cielo is a simple lib for making payments over Cielo's webservice☆26Apr 14, 2016Updated 9 years ago
- Python fiscal printer (ECF) drivers☆37Jan 21, 2021Updated 5 years ago
- Interpretable Models for NLP using PyTorch☆105Jan 8, 2018Updated 8 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
- Template-DQN and DRRN agent implementations☆22Jun 12, 2023Updated 2 years ago
- DEPRECATED - Java Agent used by JHipster to hot-reload Java classes☆51Oct 25, 2014Updated 11 years ago
- ESP32 WiFi powered digital Camera only for ArduCam OV5642 (5 MP)☆12Jul 19, 2020Updated 5 years ago
- RoBERTa based Spam Message Detection☆18Aug 24, 2025Updated 7 months ago
- ☆14Jan 12, 2017Updated 9 years ago
- Nagios SNMP Trap Interface☆15Jun 6, 2018Updated 7 years ago
- Python DSL for writing PDDL☆25Aug 13, 2021Updated 4 years ago
- An OpenAI Gym environment for Inventory Control problems☆58Mar 26, 2020Updated 5 years ago
- Taxonomic Fragmentation of the NLI Task☆21Nov 11, 2020Updated 5 years ago
- An open-ended eval framework for mcp.run tools☆22May 22, 2025Updated 10 months ago
- AWS API crawler to auto discover running services in your account☆11Mar 10, 2020Updated 6 years ago
- Database SessionHandler PHP class☆18Feb 24, 2012Updated 14 years ago
- Implementing Deep Structured Semantic Model (DSSM) in Theano : Word Embedding Case Study☆22Sep 14, 2015Updated 10 years ago
- ☆11May 7, 2021Updated 4 years ago
- video ad plugin for video.js☆16Aug 27, 2024Updated last year
- An ActionScript mapping framework for data visualization.☆62Feb 17, 2010Updated 16 years ago
- Conversational Neuro-Symbolic Commonsense Reasoning☆26Jun 18, 2020Updated 5 years ago
- JSView Framework to develop web mobile application which uses View Controller patron. It uses JavaScript to control HTML views. JSView is…☆12Feb 24, 2021Updated 5 years ago
- A scalable, distributed Time Series Database.☆28Dec 9, 2014Updated 11 years ago
- From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)☆80Mar 20, 2024Updated 2 years ago
- Drag-and-drop wiring UI for Adobe Flex☆31Oct 11, 2011Updated 14 years ago
- A small utility for progressive rendering☆20Dec 5, 2014Updated 11 years ago
- Repository for Repurposing Entailment for Multi-Hop Question Answering Tasks, NAACL19☆29May 4, 2020Updated 5 years ago
- Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models☆30Jun 13, 2021Updated 4 years ago