Dependabot Core
dependabot
🤖 Dependabot's core logic for creating update PRs.
DevopsSkill source unconfirmed
5.6KGitHub
OPENAGENTSKILL / DIRECTORY
AI Agent Skills
Find a skill for your next task. Explore tools for Codex, Claude Code, Cursor and more.
Results · “logic-programming”
33–48 / 57
More filters
Candidates in this shortlist, not the full registry. GitHub stars belong to repositories, not individual skills.
Results: 57
EsProc
SPLWare
esProc SPL is a JVM-based programming language designed for structured data computation, serving as both a data analysis tool and an embedded computing engine.
DataSkill source unconfirmed
4.7KGitHub
Aya
aya-rs
Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.
DevopsSkill source unconfirmed
4.6KGitHub
4KGitHub
LitServe
Lightning-AI
A minimal Python framework for building custom AI inference servers with full control over logic, batching, and scaling.
CodingSkill source unconfirmed
3.9KGitHub
Awesome Test Automation
atinfo
A curated list of awesome test automation frameworks, tools, libraries, and software for different programming languages. Sponsored by https://zapple.tech and https://au…
Testing QaSkill source unconfirmed
7.1KGitHub
Learn Gdscript
GDQuest
Learn Godot's GDScript programming language from zero, right in your browser, for free.
2.7KGitHub
Itext Java
itext
iText for Java represents the next level of SDKs for developers that want to take advantage of the benefits PDF can bring. Equipped with a better document engine, high a…
Document ProcessingSkill source unconfirmed
2.3KGitHub
Turing.Jl
TuringLang
Bayesian inference with probabilistic programming.
Ml AutomationSkill source unconfirmed
2.2KGitHub
2.1KGitHub
Agently
AgentEra
[GenAI Application Development Framework] 🚀 Build GenAI application quick and easy 💬 Easy to interact with GenAI agent in code using structure data and chained-calls s…
1.6KGitHub
Itext Dotnet
itext
iText for .NET is the .NET version of the iText library, formerly known as iTextSharp, which it replaces. iText represents the next level of SDKs for developers that wan…
Document ProcessingSkill source unconfirmed
1.9KGitHub
Agent Rules Books
ciembor
AGENTS.md rules / skills for AI coding agents: Codex, Cursor & Claude Code. Inspired by Clean Code, Refactoring, DDD, Clean Architecture and DDIA programming books.
1.9KGitHub
Sqlancer
sqlancer
Automated testing to find logic and performance bugs in database systems
DataSkill source unconfirmed
1.7KGitHub
Openappsec
openappsec
open-appsec is a machine learning security engine that preemptively and automatically prevents threats against Web Application & APIs. This repo include the main code an…
DevopsSkill source unconfirmed
1.6KGitHub
Claimed
claimed-framework
The goal of CLAIMED is to enable low-code/no-code rapid prototyping style programming to seamlessly CI/CD into production.
Ml AutomationSkill source unconfirmed
2.3KGitHub