Ground Zero: Lean 4 HoTT Library

This tool models and optimizes user tasks based on real-world behaviors. It transforms individual task models into unified, constraint-driven representations, using examples like Wordle to demonstrate its effectiveness. The tool visualizes task flows for better design and efficiency.

Programa que descarrega, descompacta e converte para JSON os ficheiros dos CTT, relativos aos códigos postais de Portugal.

Portugal CTT Correios API Service

🔮 Couleur Tweak Tips documentation hosted on GitHub Pages using Material for MkDocs

CTT tracking API and webhook make it easy to integrate CTT tracking function into your own project.

Simple API service wrapping CTT's HTML website

Anders: Cubical Type Checker

Portugal Zip code rest API

Aplicação para registo e acompanhamento de encomendas da CTT Expresso, automatiza a consulta online do estado de tracking para várias remessas e mantém um registo dos pagamentos referentes aos envios à cobrança. As remessas que requerem atenção, devido a atrasos na entrega ou na receção do pagamento correspondente, bem como os cheques cuja data …

ctt postal codes into MySQL with latitude and longitude from google

Time tracking web application developed by four students at Munich University of Applied Science.

Track Gearbest & Aliexpress packages using Spain Priority Line and other methods!

Scripts for Streamlabs Chatbot to check twitter for CTT, and give points to whoever tweets the stream.

OCF Light sample for Linux and TizenRT using IoTivity stack.

Track packages from multiple providers. Supports Gearbest, Aliexpress, Ebay, Geekbuying, DHL, CTT and more.