Python

Mejorando la experiencia de Factorio con solucionadores SAT.

Álgebra lineal interactiva

Un enlace de Python para crfsuite

Una herramienta para ayudar a operar en los puntos ciegos de los EDR.

Desempaquetador automático e independiente de la plataforma para binarios de Windows basado en emulación.

Firmware y simulador para la billetera de hardware Coldcard.

Tianshu: Plataforma empresarial de preprocesamiento de datos de IA todo en uno | Conversión de PDF/Office a Markdown | Integración con asistentes de IA mediante protocolo MCP | Solución full-stack Vue3+FastAPI | Análisis de documentos | Extracción de información multimodal.

Enlaces de Python para el proyecto simdjson.

Herramienta de optimización automática de nodos CDN de Cloudflare. Utiliza múltiples mecanismos como latencia TCP, verificación de disponibilidad de IP, latencia HTTP, fluctuación y pruebas de ancho de banda real para seleccionar los nodos más rápidos y estables, con soporte para actualización automática de DNS y notificaciones.

Script de Python para transmitir datos de EEG desde el casco muse 2016

Servidores MCP para la suite de aplicaciones UniFi: Network, Protect, Access y Drive.

Biblioteca para la lectura y procesamiento de datos de entrenamiento de ML.

Un esquema y validador para YAML.

Spoofy es un programa que verifica si una lista de dominios puede ser suplantada basándose en registros SPF y DMARC.

Jupyter Notebook automatizado con Selenium, sincronizado con Neovim en tiempo real.

Lookyloo es una interfaz web que permite a los usuarios capturar una página web y mostrar un árbol de dominios que se llaman entre sí.

Código fuente para las soluciones de Google Click to Deploy en Google Cloud Marketplace.

Código oficial de VisProg (Mejor artículo en CVPR 2023).

:cookie: Decodificador/Codificador de cookies de sesión para Flask.

Una biblioteca de Python que interactúa con la API de MediaWiki. Este es un espejo de gerrit.wikimedia.org. No envíe parches aquí. Consulte https://www.mediawiki.org/wiki/Developer_account para contribuir.

Una caja de herramientas de alto nivel para utilizar redes neuronales de valores complejos en PyTorch.

Simulador de combate automático avanzado para ZZZ (Zenless Zone Zero)

Código oficial para "Large Language Models as Optimizers".

Agente de IA ligero y de código abierto adaptado para usuarios chinos. Soporte para planes de codificación con modelos nacionales, compatible con el ecosistema OpenClaw Skills. Integrado con WeChat ClawBot, Weibo, Feishu, DingTalk, QQ, Xiaozhi AI, Telegram y deepseek-v4.

Herramienta de análisis inverso de JavaScript para automatización con IA basada en el protocolo Chrome DevTools (CDP)

Métodos auxiliares de prueba para PySpark con mensajes de error detallados

Lista de startups destacadas en el sector de semiconductores.

OpenSeeker: un agente de búsqueda con datos y modelos de código abierto.

Conversor de modelos de deep learning para PaddlePaddle.

Flujo de trabajo de KiCad a modelos 3D de Blender