Logica
EvgSkv
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
DataSkill source unconfirmed
2.1KGitHub
OPENAGENTSKILL / DIRECTORY
AI Agent Skills
Find a skill for your next task. Explore tools for Codex, Claude Code, Cursor and more.
Results · “logic-programming”
1–16 / 57
More filters
Candidates in this shortlist, not the full registry. GitHub stars belong to repositories, not individual skills.
Results: 57
1.6KGitHub
Free Programming Books
EbookFoundation
:books: Freely available programming books
EducationSkill source unconfirmed
390.3KGitHub
Free Programming Books Zh CN
justjavac
:books: 免费的计算机编程类中文书籍，欢迎投稿
Document ProcessingSkill source unconfirmed
117.1KGitHub
Mastering GitHub Copilot For Paired Programming
microsoft
A multi-module course teaching everything you need to know about using GitHub Copilot as an AI Peer Programming resource.
DataSkill source unconfirmed
8KGitHub
Solidity
argotorg
Solidity, the Smart Contract Programming Language
Web3 AnalyticsSkill source unconfirmed
25.7KGitHub
48.9KGitHub
Pyro
pyro-ppl
Deep universal probabilistic programming with Python and PyTorch
Ml AutomationSkill source unconfirmed
9KGitHub
Logisim Evolution
logisim-evolution
Digital logic design tool and simulator
EducationSkill source unconfirmed
7.2KGitHub
5.8KGitHub
1.6KGitHub
Gen.Jl
probcomp
A general-purpose probabilistic programming system with programmable inference
Ml AutomationSkill source unconfirmed
1.8KGitHub
Hedy
hedyorg
Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic c…
EducationSkill source unconfirmed
1.6KGitHub
Sequential Workflow Designer
nocode-js
Customizable no-code component for building flow-based programming applications or workflow automation. 0 external dependencies. Check out https://nocode-js.com
AutomationSkill source unconfirmed
1.4KGitHub
2.1KGitHub
Senior Engineering Partner
bjgreenberg
A stack-agnostic Claude Code skill: strict code reviewer, pair programmer, debugger, and mentor (Python/Bash/Apps Script/JS). Security-first, phase-aware engineering dis…
148GitHub