Kryndel
Lenguaje estáticamente verificado con su propio compilador, runtime y sistema de paquetes. Diseñado para herramientas de desarrollo y aplicaciones estructuradas. Soporta ejecutables nativos Windows y Linux, concurrencia, FFI, criptografía, módulos y un compilador autocontenido.
Ficha actualizada 22 sept 2026, 18:28 · upstream 21 sept 2026, 19:01 · release sin release detectada
Qué es Kryndel
Descripción editorial construida a partir del repositorio, su documentación y sus señales de mantenimiento.
Kryndel es un lenguaje pequeño y estáticamente verificado diseñado para herramientas de desarrollo y aplicaciones estructuradas. El repositorio contiene el compilador, el verificador, el runtime, los wrappers del estándar de librerías, la herramienta de paquetes y una ejecutable de línea de comandos autocontenido.
La implementación se escribe en Go y utiliza el estándar de librerías de Go. Los archivos fuente pasan por lexing, parseo, resolución de módulos, verificación estática, IR validada y ejecución del runtime. Los binarios liberados no requieren un runtime de lenguaje de host como Go ni otro.
## Principales características
- **Verificación estática**: el compilador detecta errores antes de la ejecución. - **Runtime limitado**: se controlan tamaño de archivo, instrucciones ejecutadas, tiempo de ejecución, memoria y respuestas de red para evitar inyecciones. - **Concurrencia**: soporte para TaskGroup con propiedad de cancelación, limpieza de hermanos y orden determinista. - **Criptografía**: implementaciones verificables en el runtime y en el backend nativo (AES-GCM, HMAC-SHA256, PBKDF2, etc.). - **Polimorfismo dinámico**: registro y reordenamiento de handlers mediante `poly_register`/`poly_reorder`. - **Módulos**: resolución basada en rutas relativas al archivo importante, sin ciclos ni escapes de directorio.
## Uso recomendado
Se usa principalmente para crear herramientas de desarrollo (CLI, scripts) o aplicaciones estructuradas donde la seguridad y el control del flujo son prioritarios. No es un lenguaje generalista como Python o Go.
- Herramientas de desarrollo: CLI, scripts de configuración, ejecutables de línea de comandos
- Aplicaciones estructuradas con verificación estática y límites de ejecución controlados
- Integración segura en entornos Windows/Linux con ejecutables nativos
- Desarrollo de herramientas que requieren criptografía y manejo seguro de datos
- Herramientas de observabilidad (logging, monitoring) con límites de red y memoria
- Aplicaciones que necesitan concurrencia controlada sin inyección de código
- Verificación estática en tiempo de compilación con errores detectados antes de ejecución
- Runtime limitado para prevenir inyecciones, inyección de código y ataques de memoria
- Criptografía verificable tanto en el runtime como en el backend nativo (AES-GCM, HMAC-SHA256)
- Polimorfismo dinámico con registro de handlers por función sin pérdida de seguridad
- Sistema de módulos basado en rutas relativas con resolución automática de dependencias
- Ejecutable autocontenido que no requiere runtime de lenguaje de host adicional
- El backend nativo (ELF/PE) es solo para Windows y Linux, no macOS ni otros sistemas operativos
- La verificación estática detecta errores pero no puede detectar bugs lógicos o condiciones de carrera
- No tiene soporte para I/O asíncrono completo ni para manejar excepciones del sistema operativo
- El tamaño máximo de archivo y memoria es limitado, lo que puede ser un problema con proyectos grandes
- La verificación estática no detecta errores lógicos en el flujo de ejecución
- No tiene soporte nativo para sistemas operativos Windows (no se ejecuta directamente)
Perfil de infraestructura
Estimación inicial derivada del repositorio y de los servicios detectados.
Despliegue detectado
Qué señales reales de instalación hemos encontrado.
Para usar Kryndel, necesitas una herramienta de compilación Go 1.22 o superior. Ejecuta `make` desde la raíz del repositorio. Los binarios se pueden ejecutar con `./tools/kry run examples/hello.kry`. Para crear ejecutables nativos, usa `kry build --format=elf --target=linux-x64` para Linux o `--format=exe --target=windows-x64` para Windows. Si necesitas asociar archivos `.kry` con el ejecutable en Windows, ejecuta `make install-association`. El runtime está integrado y no requiere instalación adicional de dependencias externas.
Stack y dependencias
Componentes inferidos a partir de manifests, configuración y documentación.
Puede sustituir a
Relaciones detectadas por el análisis del repositorio y su categoría.
Experiencia real de la comunidad
Ayuda a contrastar la estimación automática con instalaciones reales.
Todavía no hay datos comunitarios para este proyecto.