Skip to content
View EliAvila1's full-sized avatar
3 followers · 3 following

Block or report EliAvila1

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
EliAvila1/README.md

Avila 👻

Soy desarrollador de software especializado en Ada y SPARK, enfocado en la alta fiabilidad, sistemas críticos y la verificación formal de código.

🛠️ Enfoque Tecnológico

Categoría Tecnologías
Lenguaje Principal 💻 Ada (Highly Reliable Programming)
Verificación Formal 🛡️ SPARK (Level 4 Formally Verified)
Herramientas y Entorno GNAT Studio • Alire • GPRbuild • GitHub Actions

📊 Repositorios Destacados

  • 🔒 ada_spark_to_lower_string_l4
    • Utilidad de conversión de cadenas con verificación matemática de contratos al 100% (SPARK Level 4).
  • 🛠️ Spark_Ada_Utilities
    • Suite de criptografía (BCrypt Windows), mitigación de sesgo de módulo y cálculo de entropía de Shannon certificada sin desbordamientos.
  • 🎨 Ada_Terminal_Colors
    • Biblioteca personalizada para la gestión y salida de colores ANSI en terminales usando Ada.

📫 Contacto y Redes

  • GitHub: Puedes revisar y seguir mis proyectos directamente en este perfil!

Popular repositories Loading

  1. Ada_Terminal_Colors Ada_Terminal_Colors Public

    A robust Ada library for terminal text styling using ANSI escape codes, supporting 256 colors and SPARK-ready verification, 5k or more steps

    Ada

  2. ada_spark_to_lower_string_l4 ada_spark_to_lower_string_l4 Public

    A SPARK level 4 verified string to_lower utility.

    Ada

  3. EliAvila1 EliAvila1 Public

  4. Spark_Ada_Utilities Spark_Ada_Utilities Public

    Ada Spark Utilities, Bcryptgenrandom, Shannon Entropy, Create Entropy and more

    Ada