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
- A Python library for logic formalisms representation and manipulation.☆16Jan 21, 2024Updated 2 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.
- Accompanying code for "Learning and Planning in Average-Reward Markov Decision Processes"☆15Feb 10, 2021Updated 5 years ago
- Kernel Module that implements Paxos protocol☆12Oct 23, 2020Updated 5 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 months 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
- 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
- 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.
- [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
- ⚡️ ClickHouse client administrative and statistic dashboard☆15Mar 24, 2020Updated 6 years ago
- 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.☆20Apr 30, 2020Updated 6 years ago
- Extracting action sequences and generating domain models.☆15Dec 18, 2022Updated 3 years ago
- ☆14Jan 12, 2017Updated 9 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.
- An universal sd/image creator for small arm development platform☆21Jul 2, 2016Updated 10 years ago
- ☆11Nov 3, 2025Updated 10 months ago
- Tweaks to Flash ver. of Notch's Infinite Mario Bros: Working score, levels that stay after death, etc☆12Jul 27, 2021Updated 5 years ago
- A Python package for automata theory.☆60Jan 17, 2024Updated 2 years ago
- Python DSL for writing PDDL☆25Aug 13, 2021Updated 5 years ago
- Taxonomic Fragmentation of the NLI Task☆21Nov 11, 2020Updated 5 years ago
- A collection of IJulia Notebooks utilizing the CurricularAnalytics.jl Toolbox☆13Jul 13, 2023Updated 3 years ago
- A Packer.io build for Graphite. It produces an AWS AMI and/or a Docker Image.☆10Mar 14, 2022Updated 4 years ago
- ESP32 WiFi powered digital Camera only for ArduCam OV5642 (5 MP)☆12Jul 19, 2020Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- phpdhcpd provides a PHP based online interface for viewing the /var/lib/dhcp3/dhcpd.leases file used by DHCP servers.☆21Jul 30, 2017Updated 9 years ago
- Implementing Deep Structured Semantic Model (DSSM) in Theano : Word Embedding Case Study☆22Sep 14, 2015Updated 11 years ago
- Nagios SNMP Trap Interface☆15Jun 6, 2018Updated 8 years ago
- Layout-based PHP micro-framework for full-stack HTML5 sites☆32Jan 1, 2020Updated 6 years ago
- An open-ended eval framework for mcp.run tools☆22May 22, 2025Updated last year
- From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)☆84Jul 25, 2026Updated last month
- categorical variational autoencoder using the Gumbel-Softmax estimator☆27Apr 1, 2019Updated 7 years ago