Todos los repositorios

El verificador de modelos acotado por contexto basado en SMT (ESBMC) eficiente

Código para el artículo de Nature Scientific Reports "Clasificación a nivel de patólogo de patrones histológicos en láminas de adenocarcinoma de pulmón resecadas con redes neuronales profundas". Un marco de trabajo de ventana deslizante para la clasificación de imágenes de portaobjetos completos de alta resolución, a menudo imágenes de microscopía o histopatología.

Una biblioteca de más de 70 animaciones listas para usar para JavaFX

⚡ The Complete X/Twitter Automation Toolkit — Scrapers, MCP server for AI agents (Claude/GPT), CLI, browser scripts. No API fees. Open source. Unfollow people who don't follow back. Monitor real-time analytics. Auto follow, like, comment, scrape, without API. Follow Bot. Like bot. Grow your account automatically.

Optimiza tus recursos de imagen usando Sharp.js y SVGO.

span lite: un span similar a C++20 para C++98, C++11 y versiones posteriores en una biblioteca de un solo archivo de cabecera.

MARVIS-Agent: agente de riesgo crediticio multipropósito para desarrollo de modelos, validación, procesamiento de datos, ingeniería de características y flujos de trabajo estratégicos.

Organiza tu escritorio en marcos

Motor de recuperación impulsado por LLM diseñado para procesar una gran cantidad de fuentes y recopilar una lista completa de entidades.

A general framework for distilling human-created multimodal resources into reusable, executable skills that AI agents can browse, compose, and run, validated across diverse domains including web, PowerPoint, Excel, Blender, CAD, Unreal Engine 5, and REAPER-based music production.

Habilidades integrales de diseño de componentes de UI/UX y backend para el desarrollo asistido por IA con Claude.

AutoClicker es una herramienta sencilla y útil para automatizar clics del ratón.

Implementación de referencia del estándar ChordPro para hojas de música.

Una lista de proyectos de software de código abierto que pagan por contribuir

Bindings de Python para la API de Etherscan.io

Our inference and training framework to run on the Cosmos Models

Una lista curada de frameworks, bibliotecas, software y recursos de JIT

Archivos de configuración de vinca para ros-noetic

⚡A curated list of awesome omarchy resources

Una lista de trabajos sobre generación de video orientada a modelos del mundo.

Un kit de herramientas para ayudar a optimizar modelos ONNX.

Mercado de complementos de Claude Code con servidores LSP

STEPcode (anteriormente la biblioteca de clases STEP del NIST) se utiliza con IFC, STEP y otros estándares que emplean las tecnologías de ISO10303 (STEP). Genera C++ y Python a partir de esquemas EXPRESS (10303-11). El código es capaz de leer y escribir archivos de intercambio STEP Part 21. También utiliza las partes 22 y 23 (SDAI y su enlace C++).

Model Context Protocol server for KiCad on Mac, Windows, and Linux

Biblioteca Java para trabajar de manera eficiente con memoria heap plana

Repositorio para preguntas y problemas de Console Ninja.

Una herramienta que transforma los navegadores Firefox en una suite de pruebas de penetración.

Generador y validador de pruebas de Merkle en Solidity