Star200+

Direktori skill

Temukan skill yang dapat digunakan kembali untuk AI agents.

Cari skill GitHub nyata berdasarkan tugas lalu periksa stars, trust, audit, kategori, dan jalur pemasangan sebelum digunakan.
Cari skill

Setiap rekomendasi tetap terhubung dengan repositori, audit, dan jalur pemasangannya.

Hasil pencarian: neuro-symbolic

Direktori bahasa Inggris
PySR80

High-Performance Symbolic Regression in Python and Julia

3.6K
Stars
80/100
Kepercayaan
Kategori: ml-automationAudit
Symforce84

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

1.6K
Stars
84/100
Kepercayaan
Kategori: robotics-iotAudit
PhySO75

Physical Symbolic Optimization

2.0K
Stars
75/100
Kepercayaan
Kategori: ml-automationAudit
Hedgehog Lab70

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
Kepercayaan
Kategori: data-analysisAudit
Synalinks70

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
Kepercayaan
Kategori: developmentAudit
LNN71

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

320
Stars
71/100
Kepercayaan
Kategori: ml-automationAudit
Nucleoid71

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

750
Stars
71/100
Kepercayaan
Kategori: rag-knowledgeAudit
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
Kepercayaan
Kategori: web3-analyticsAudit
NeatShift64

A modern Windows file organization tool with symbolic link support

569
Stars
64/100
Kepercayaan
Kategori: productivity-automationAudit
Pddlstream61

PDDLStream: Integrating Symbolic Planners and Blackbox Samplers

478
Stars
61/100
Kepercayaan
Kategori: robotics-iotAudit
iso-24495-text-audit61

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
Kepercayaan
Kategori: securityAudit