Todos los repositorios

APALACHE: verificador de modelos simbólicos para TLA+ y Quint

Un inyector de tiempo de ejecución de Lua para juegos creados con LÖVE

Motor de objetivos a tareas sin configuración para Claude Code (motor Atlas). Validación de PRD graduada, grafo de tareas ordenado por dependencias y ejecución basada en evidencias.

Una aplicación para jugar Pokerogue.net en una ventana independiente.

Una alternativa más flexible a pip freeze.

Evolved Overlay/OverlayEntry: declarativo en lugar de imperativo, con contexto intuitivo y alineación sencilla

Extensión de VS Code para Haskell, impulsada por haskell-language-server

Una estimulante combinación de herramientas de geometría 3D en Python.

Plantilla de Maven para crear sitios web con mejores prácticas en AEM.

Utilidades para analizar modelos bayesianos y distribuciones a posteriori.

Proyecto de trading simulado con IA inspirado en nof1 Alpha Arena, utilizando cctx para cotizaciones.

Este es el repositorio principal del SDK de Azure y contiene principalmente documentación sobre pautas y políticas, así como los lanzamientos para los diversos lenguajes compatibles con el SDK de Azure.

A curated, battle-tested AI-coding toolkit: Claude Code plugins, subagent orchestration, quality gates, and ready-to-copy prompts, extracted from real production use.

Tomlyn es una biblioteca de análisis, validación y creación de TOML para .NET Framework y .NET Core

Nodo personalizado de ComfyUI para VibeVoice TTS. Audio conversacional expresivo, de formato largo y con múltiples hablantes

Optimal Motion Generation-tools: planificación de movimiento simplificada.

Python Redmine es una biblioteca para comunicarse con la aplicación de gestión de proyectos Redmine.

Serie de tutoriales ilustrados para aprender desarrollo web frontend desde cero

Una tarjeta de control remoto universal totalmente personalizable para Home Assistant. Soporta múltiples plataformas de forma nativa.

GSN v3.0.0-beta.10 - Ethereum Gas Station Network.

Guía de uso de Generic Agent: aprenda a utilizar agentes inteligentes autoevolutivos fácilmente, desde llamadas básicas hasta técnicas avanzadas.

Simprint es un navegador de huellas digitales de código abierto y un espacio de trabajo de navegador programable diseñado para entornos aislados, flujos de trabajo de automatización, orquestación de proxies e investigación de huellas digitales de navegadores.

Plugin de IDA para depuración con viaje en el tiempo (Time Travel Debugging).

Disparadores (triggers) para EFCore. Responde a los cambios en tu DbContext antes y después de que se confirmen en la base de datos.

Implementación en Python de soft-DTW.

Wrapper de Tesseract OCR para React Native

Suite de transferencia de datos de ApeCloud, escrita en Rust. Proporciona replicación de datos ultrarrápida entre MySQL, PostgreSQL, Redis, MongoDB, Kafka y ClickHouse, ideal para escenarios de recuperación ante desastres (DR) y migración.

Envía una notificación de bienvenida a los nuevos usuarios.

Objeto de JavaScript que crea un selector CSS único para un elemento dado.