YASA Engine
antgroup
YASA is an open-source static program analysis project. Its core innovation lies in a unified intermediate representation called UAST, designed to support multiple progr…
SecurityReview before use
316GitHub
OPENAGENTSKILL / DIRECTORY
AI Agent Skills
Find a skill for your next task. Explore tools for Codex, Claude Code, Cursor and more.
Search retrieves candidates across the registry and ranks a bounded shortlist by task fit. This count is matching candidates, not the registry total. No suitable match? Try a specific tool or task.
Results · “mathematical-programming”
81–91 / 91
More filters
Results: 91
The Pair
timwuhaotian
Open-source AI pair programming for desktop: a Mentor + Executor agent cross-check each other's code to catch AI hallucinations. Works with Claude Code, Codex, Gemini &…
339GitHub
Malware Bible
Perkins-Fund
Free educational courses in cybersecurity, reverse engineering, malware analysis, and programming designed to expand access, build practical skills, and support the next…
488GitHub
Cookbook
DevDungeon
Code snippets for various programming languages and libraries
DataReview before use
317GitHub
Radixdlt Scrypto
radixdlt
Scrypto is the asset-oriented smart contract programming language of the Radix network. It allows you to quickly build secure and composable dApps.
Web3 AnalyticsReview before use
411GitHub
Ultimate Bug Scanner
Dicklesworthstone
Static analysis tool that catches 1000+ bug patterns across all popular programming languages, with auto-wiring into AI coding agent quality guardrails
CodingReview before use
255GitHub
Data Science For Beginners From Scratch Course
SENATOROVAI
Data science for beginners involves learning to extract insights from data using statistics, programming (Python/R), and visualization. Key steps include data collection…
DataReview before use
183GitHub
Orm
golobby
A lightweight yet powerful, fast, customizable, type-safe object-relational mapper for the Go programming language.
DataReview before use
162GitHub
Xloil
cunnane
xlOil provides framework for interacting with Excel in different programming languages (python & C++ currently)
DataReview before use
154GitHub
AgentQuant
OnePunchMonk
Autonomous quantitative trading research platform that transforms stock lists into fully backtested strategies using AI agents, real market data, and mathematical formul…
132GitHub
65GitHub
External platform skills
Browse external directory →Owner-curated external sources. Not filtered by the scores or compatibility controls above; excluded from GitHub rankings and automatic installation.
No external entries match this query.