pesca: Proof Editor for Sequent Calculus (mirror)

• UpdatedDec 2, 2016
• Haskell

Datos de subsidios, permisos y otros para la pesca en Mexico.

• UpdatedDec 8, 2022
• HTML

Aplicación creada con Android Studio que permite guardar los datos más relevantes de nuestras capturas de pesca, consultar los tipos de peces existentes y las zonas más populares para pescarlos.

• UpdatedMar 17, 2023
• Kotlin

Programa Matchbox de Engine Room para Causa Natura

• UpdatedJun 22, 2017
• Jupyter Notebook

Registro y Control de Licencias de Pesca. Para proporcionar la herramienta informática que permita la gestión electrónica de los permisos y licencias de pesca rectorados por el MINAL. Además facilitar las gestiones de los usuarios del registro para obtener los permisos y licencias que a través de este se emiten. Contribuyendo así al desarrollo d…

• UpdatedJul 28, 2021
• TypeScript

AcuaNet es una plataforma diseñada especialmente para pescadores, facilitando la planificación de sus salidas al ofrecer información clave como niveles de embalses, condiciones meteorológicas y tablas lunares.

• UpdatedMar 1, 2025
• TypeScript

Jogo de pesca desenvolvido em C utilizando a raylib, ambientado em pontos turísticos de Pernambuco como Marco Zero, Porto de Galinhas e Fernando de Noronha.

• UpdatedNov 20, 2024
• C