Descarga el ecosistema

Amoxkalli, la biblioteca estándar de V++, crece a 881 módulos (amoxes) con +740 nuevos en treinta oleadas: estructuras de datos (árboles, trie, unión-find, grafos con Dijkstra), codificación (Base64/32/58, hex, URL, CRC, RLE, Ascii85), matemática (modular, primos, polinomios, racionales, naturales grandes > int64), dominio MX (CURP, RFC, CLABE, EAN, teléfonos), texto (Levenshtein, slugs, plantillas), geometría 2D/3D (vectores, cuaterniones), estadística, bits, aleatorio determinista, álgebra lineal, redes (IPv4/CIDR/MAC), hash no-criptográfico (FNV, djb2, Adler-32), parsers (INI, CLI, query, JSON), colecciones avanzadas (LRU, ring buffer, Bloom, multimapa), color (RGB/HSL, contraste WCAG), finanzas (interés compuesto, amortización), fecha/tiempo (ISO 8601, semana ISO, edad), cifrado clásico (Vigenère, rail fence, sustitución), secuencias (chunk, ventana, zip), unidades (datos, ángulos, cocina), lógica booleana (puertas, tabla de verdad), probabilidad (binomial, percentiles, z-score), grafos avanzados (orden topológico, componentes, MST Kruskal), búsqueda de patrones (KMP, Rabin-Karp, comodines), números especiales (Armstrong, Collatz, figurados), autómatas (DFA, motor regex), compresión (LZW, delta), calendario mexicano (Pascua, festivos oficiales, zodiaco), geometría 2D (círculos, envolvente convexa), series de tiempo (medias móviles, volatilidad, retornos), compresión (Huffman, LZW, Burrows-Wheeler), evaluación de expresiones (RPN, infija con precedencia, calculadora), juegos de tablero (tres en raya, N reinas, movimientos), codificación de texto (Morse, Soundex, alfabeto OTAN) y validación de datos (fuerza de contraseña, coerción, esquemas), teoría de números (Miller-Rabin, factorización, totient), serialización binaria (varint/LEB128, empaque), colas de prioridad (heaps, heapsort), criptografía clásica (Playfair, Bifid, afín) y consultas de rango (Fenwick, árbol de segmentos, Kadane), geometría 3D (esferas, planos, matrices 4×4), ordenamiento (merge, quick, radix, búsqueda binaria), PLN español (stemmer, stopwords, similitud), cálculo numérico (integración, interpolación, raíces) y utilidades de sistema (rutas, semver, glob), química (tabla periódica, masa molar), teoría musical (notas MIDI, escalas, acordes), física (cinemática, dinámica, energía), grafos (Floyd-Warshall, Bellman-Ford), métricas de ML (precisión, F1, k-means) y fechas de negocio (días hábiles, vencimientos), biología molecular (ADN, código genético), contabilidad (partida doble, ratios, VAN), cartas y póker (evaluación de manos), electricidad (ley de Ohm, resistencias), astronomía (día juliano, sistema solar) y ajedrez (notación FEN, material), números a letras (importes para facturas), nutrición (IMC, macros, metabolismo), deportes (ELO, tablas de liga), geografía (países ISO, coordenadas), criptografía educativa (Diffie-Hellman, RSA) y teoría de la información (entropía de Shannon), juegos lógicos (Sudoku, vida de Conway), máquina virtual (pila, bytecode), grafos (coloreo, flujo máximo), Markdown, finanzas (bonos, TIR, EBITDA) y álgebra (complejos, sistemas lineales), gráficos raster (Bresenham, círculos), compilador (AST, tabla de símbolos), base de datos (consultas, B-tree), señales (filtros, ADSR), redes (subredes, DNS) y series de tiempo (correlación, anomalías), náutica y geometría esférica (rumbos, haversine, posición UTM), acústica (decibelios, frecuencias, reverberación), identificadores internacionales (ISBN, IBAN, ISIN, EAN/UPC), agronomía (cultivos, riego, suelos, fertilización), aviación (altitud, combustible, peso y balance) y contabilidad de costos (costeo ABC, punto de equilibrio, presupuesto), óptica (lente delgada, Snell, dioptrías, espejos), meteorología (sensación térmica, punto de rocío, presión, precipitación), termodinámica (leyes de gases, calorimetría, Carnot/COP, dilatación), actuaría y seguros (descuento actuarial, siniestralidad, reservas técnicas, seguro de vida), inventarios y logística (EOQ, punto de reorden, rotación, ABC) y epidemiología (modelo SIR, R0/Rt, tasas, pruebas diagnósticas), topografía y agrimensura (área por coordenadas, poligonales, nivelación, unidades agrarias), hidráulica (caudal, presión hidrostática, tuberías con Reynolds/Darcy, canales), energía solar fotovoltaica (generación, dimensionamiento, baterías, retorno/CO2), geología y sismología (magnitud Richter, Mercalli, rocas/suelos, geocronología), ecología (biodiversidad Simpson, dinámica de poblaciones, huella ambiental, calidad de aire/agua) y panadería (porcentaje de panadero, hidratación, escalado de recetas, fermentación), robótica y control (motores paso a paso, servos/PWM, cinemática planar, PID), telecomunicaciones (potencia RF dBm, Shannon/Nyquist, presupuesto de enlace, modulación), fotografía (triángulo de exposición, número f, distancia hiperfocal, encuadre), minería y metalurgia (ley de mineral, recuperación, quilates, valor), petróleo y gas (gravedad API, volúmenes, gas natural, economía de producción) y mecánica orbital (velocidad orbital, escape, Tsiolkovsky, transferencias), zootecnia y ganadería (conversión alimenticia, carga animal, producción lechera, dosificación veterinaria), enología y vinicultura (Brix/alcohol potencial, chaptalización, acidez/pH, sulfitado), cervecería artesanal (ABV, IBU, macerado, color SRM), HVAC y climatización (carga térmica, caudal de aire/ACH, eficiencia SEER/EER, confort), hidrología (método racional, curva SCS, tiempo de concentración, balance de cuenca) y acuicultura (densidad de siembra, alimentación/FCA, oxígeno disuelto, cosecha), café y barismo (ratio de preparación, extracción/TDS, espresso, tueste), carpintería y madera (pies tabla, humedad, corte/despiece, estructura), energía eólica (potencia del viento, límite de Betz, factor de capacidad, recurso), impresión 3D (filamento, capas, relleno, tiempo/costo), plomería (unidades mueble, dimensionamiento de tubería, presión, agua caliente) y gestión de residuos (generación per cápita, reciclaje, compostaje, recolección), buceo y submarinismo (presión/profundidad, consumo de aire, gases/ppO2/MOD, descompresión), tipografía (unidades punto/pica, maquetación de texto) y soldadura (arco, consumo de material, geometría de unión, costo), ferrocarril (resistencia al avance, tracción/capacidad, frenado, operación), ciencias forenses (antropología/estatura, intervalo post-mortem, alcoholemia/Widmark, balística) y vulcanología (índice VEI, columna eruptiva, flujos de lava, peligro), textil y confección (tallas y conversiones, consumo de tela, gradación de patrones, hilado), apicultura (producción de miel, población de colmena, jarabe, varroa), avicultura (postura, engorda/FCA, incubación, galpón), fruticultura y poscosecha (índice de madurez, calibre, vida de anaquel, rendimiento), dendrometría y silvicultura (área basal, volumen de fuste, crecimiento, biomasa/carbono) y drones/UAV (autonomía, empuje, mapeo fotogramétrico/GSD, misión), porcicultura (reproducción, engorda, canal, manejo), coctelería y mixología (grado alcohólico, proporciones, dilución, costo), jabonería (saponificación/sosa, sobreengrasado, lejía, receta), cerámica y alfarería (encogimiento, conos pirométricos, esmaltes, producción), oceanografía (densidad del agua de mar, presión/profundidad, mareas, salinidad) y climatología (grados-día, índices climáticos, bioclima, balance hídrico), combinatoria y sucesiones enteras (números de Catalan y triangulaciones de polígonos, sucesiones de Lucas/Pell/Pell-Lucas, trayectoria de Collatz, rutina de Kaprekar hacia 6174, dígito verificador de Verhoeff sobre grupo diédrico D5) y Unicode de sistema (codec UTF-8 por punto de código, 1–4 bytes, aritmética pura) y HTTP de sistema (parseo de peticiones/respuestas HTTP/1.1, cabeceras insensibles a mayúsculas, decodificación de Transfer-Encoding chunked; parseo de query strings y form-urlencoded) — 14820 pruebas ejecutables, todas verdes, aritmética entera pura, verificadas por construcción · concurrencia CSP (lanza/canal/envia/recibe/espera_todos/cede), determinista sin condiciones de carrera · regiones de memoria a costo cero con verificador de escape · Diagnósticos con línea/columna/carete y códigos VPP-NNN + catálogo ERRORES.md · optimizador -O del compilador nativo · features v5 del intérprete (constante, exige, segun, multi-retorno, interpolación — ver FEATURES_V5.md) · test runner vpp prueba + afirma · vpp docs · vpp fmt formateador canónico propio (idempotente, verificado sobre el corpus) · vpp perfila perfilador de hotspots estático y de runtime (llamadas por función) · vpp depura depurador de traza (cambios de variable paso a paso) · vpp verifica puerta propia completa en un comando · vpp propiedad verificador de propiedades universales, de una y dos variables (prueba exhaustiva por rango y por producto cartesiano — round-trip de Verhoeff, simetría del binomial, MCD conmutativo, round-trips de romano/base/zigzag/hora) y con AUTOVERIFICACIÓN de solidez (acepta verdaderas, rechaza falsas); también verifica propiedades en programas del usuario con vpp propiedad archivo.vpp · vpp generico genéricos por monomorfización (plantillas por tipo, estilo C++/Go) · vpp tipos chequeador de tipos propio con inferencia por asignación única, consistencia de tipo de retorno y detección de escribe <número> —que en el backend nativo provocaría un fallo— indicando usar escribe_num (disciplina estricta sobre la coerción, cero falsos positivos en los 840 módulos) · vpp homogeneo analizador propio que prueba qué listas son Lista<entero> (inferencia de enteros por punto fijo + detección de escape + verificación de inicializadores; sólido, cero falsos positivos), el cimiento de tipos que habilita la vectorización de datos segura · vpp mover / escape / carreras análisis propio de memoria y concurrencia (uso-tras-mover, escape de regiones, carreras de datos; verificados sound sobre el corpus; también por archivo con vpp mover/escape/carreras archivo.vpp) · vpp verifica puerta propia completa (lint + tipos + propiedades + doctests) en un solo paso · LSP completo v1.1 · vpp nuevo + vpp.toml + lockfile + registro remoto de paquetes · vpp bind (interop C) · GUIA_IA.md + corpus de 258 programas · conformidad.vpp 100/100 · ESPEC 1.0 (borrador) · RANGO_NUMERICO.md + benchmarks · MANIFEST.sha256 interno verificable con verificar_manifest.sh.