Directorio de skills

Descubre skills reutilizables para AI agents.

Busca skills reales de GitHub por tarea y revisa stars, confianza, auditoría, categoría y ruta de instalación antes de utilizarlos.

Cada recomendación conserva un vínculo claro con su repositorio, auditoría y ruta de instalación.

Resultados de búsqueda: neuro-symbolic

Directorio en inglés

High-Performance Symbolic Regression in Python and Julia

3.6K
Stars
80/100
Confianza
Categoría: ml-automationAuditoría

Fast symbolic computation, code generation, and nonlinear optimization for robotics

1.6K
Stars
84/100
Confianza
Categoría: robotics-iotAuditoría

Physical Symbolic Optimization

2.0K
Stars
75/100
Confianza
Categoría: ml-automationAuditoría

Run, compile and execute JavaScript for Scientific Computing and Data Visualization TOTALLY TOTALLY TOTALLY in your BROWSER! An open source scientific computing environment for JavaScript TOTALLY in your browser, matrix operations with GPU acceleration, TeX support, data visualization and symbolic computation.

2.4K
Stars
70/100
Confianza
Categoría: data-analysisAuditoría

From idea to production in just few lines: Graph-Based Programmable Neuro-Symbolic LM Framework - a production-first LM framework built with decade old Deep Learning best practices

440
Stars
70/100
Confianza
Categoría: developmentAuditoría
LNN71

A `Neural = Symbolic` framework for sound and complete weighted real-value logic

320
Stars
71/100
Confianza
Categoría: ml-automationAuditoría

Logic Language for LLMs 🌱🐋🌍 Build Neuro-Symbolic AI for Learning and Reasoning

750
Stars
71/100
Confianza
Categoría: rag-knowledgeAuditoría
Evm65

A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmatically extracting information from EVM bytecode.

112
Stars
65/100
Confianza
Categoría: web3-analyticsAuditoría

A modern Windows file organization tool with symbolic link support

569
Stars
64/100
Confianza
Categoría: productivity-automationAuditoría

PDDLStream: Integrating Symbolic Planners and Blackbox Samplers

478
Stars
61/100
Confianza
Categoría: robotics-iotAuditoría

Audit user-selected Markdown or text files for deterministic plain-language findings. Use only when the user explicitly invokes this skill.

89
Stars
61/100
Confianza
Categoría: securityAuditoría