Trabalhos Acadêmicos em LaTeX usando abnTeX2 para o IFCE - Instituto Federal de Educação, Ciência e Tecnologia do Ceará.
☆12Oct 20, 2023Updated 2 years ago
Alternatives and similar repositories for IFCETeX2
Users that are interested in IFCETeX2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Design, play with, and analyze sequent calculus proof systems.☆16Sep 5, 2024Updated last year
- Formalization of Linear Logic in Coq☆18Apr 9, 2026Updated 3 months ago
- Projeto colaborativo de tradução e adaptação do livro de lógica Forallx☆16May 16, 2024Updated 2 years ago
- ☆37Mar 14, 2024Updated 2 years ago
- ☆17Jun 13, 2022Updated 4 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.
- https://appetize.io/app/hvg7kuhrursvbiprszkipokmga☆13Jan 19, 2025Updated last year
- ☆14Aug 10, 2019Updated 6 years ago
- A proof editor for first order logic☆25Apr 27, 2021Updated 5 years ago
- 📰 Coleta automatizada das últimas notícias das cidades brasileiras☆21Apr 5, 2025Updated last year
- 🍪 A delicious cookie consent solution made in vanilla JavaScript (with 9 different banner styles that work in conjunction with TailwindC…☆16Sep 25, 2024Updated last year
- A clone of 2048 in react native with animations☆13Jun 30, 2023Updated 3 years ago
- Overlay containing experimental packages developed by the brazilian community, with focus on providing programs useful to portuguese spea…☆17Dec 18, 2024Updated last year
- Bino é uma API responsável por mover dados de um sistema de origem (Ministério da Saúde) para o destino (nosso banco de dados)☆12May 5, 2020Updated 6 years ago
- Basic React Native app with Tabs navigation and Integration of Unity View☆16Jan 5, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆10Jul 26, 2023Updated 3 years ago
- ☆19Sep 19, 2023Updated 2 years ago
- Vanilla Data Science Models.☆18Mar 1, 2022Updated 4 years ago
- 📚 IFCE Biblioteca Virtual Downloader☆15Oct 25, 2017Updated 8 years ago
- Linux dotfiles☆25Feb 19, 2021Updated 5 years ago
- Python code to generate and print Ulam Spirals☆10Apr 22, 2026Updated 3 months ago
- This repository contains snippets and demos presented at Medium posts from https://edigleyssonsilva.medium.com/☆11Oct 16, 2021Updated 4 years ago
- IFCE Biblioteca Virtual Downloader☆16Feb 21, 2019Updated 7 years ago
- Formatting for ANSI colored strings in Julia☆13Mar 8, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- live streaming server and a stream key manager☆33Sep 2, 2024Updated last year
- Uma CLI para criação de diretórios e arquivos da arquitetura criada Clean Dart baseada na Clean Architecture☆11Oct 13, 2020Updated 5 years ago
- 🧲 Utility to parse .torrent files, implemented in pure dartlang.☆15Jul 27, 2019Updated 7 years ago
- Simple visualization for the RigidBodyDynamics.jl library☆13Feb 8, 2020Updated 6 years ago
- Port of Interact.jl functionality with Gtk☆15Sep 25, 2016Updated 9 years ago
- eBook repo☆55Feb 11, 2022Updated 4 years ago
- ☆13Feb 8, 2020Updated 6 years ago
- An implementation of the "Flow-Based Image Abstraction" article methods by Henry Kang et al.☆10May 9, 2017Updated 9 years ago
- Awesome list of robotics initiatives in Brazil☆61Mar 23, 2026Updated 4 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Projeto para realizar assinaturas digitais em documentos PDF.☆34Updated this week
- Rastreador de encomendas dos correios feito em flutter☆14Aug 23, 2021Updated 4 years ago
- Uma versão cli do tabnews :) tabnews.com.br☆53Nov 30, 2022Updated 3 years ago
- Manual de integração da assinatura eletrônica digital.☆41Mar 24, 2026Updated 4 months ago
- MacOS on Acer Aspire A515-54g☆14Jul 6, 2025Updated last year
- Hide or show app bar while scrolling. This package works without custom scroll views and slivers.☆17May 18, 2021Updated 5 years ago
- Hackintosh EFI files for Z390 Aorus Pro Wifi☆13Dec 10, 2020Updated 5 years ago