Plutus
IntersectMBO
The Plutus language implementation and tools
OPENAGENTSKILL / DIRECTORY
Find a skill for your next task. Explore tools for Codex, Claude Code, Cursor and more.
Find a skill for your next task. Preview examples where available.
1–16 / 36
Results: 36
IntersectMBO
The Plutus language implementation and tools
google-research
Shared repository for open-sourced projects from the Google AI Language team.
EbookFoundation
A multi-module course teaching everything you need to know about using GitHub Copilot as an AI Peer Programming resource.
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…
mlabonne
Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.
GreyDGL
Automated Penetration Testing Agentic Framework Powered by Large Language Models
HIT-SCIR
textlint
textlint is the pluggable linter for natural language text.
jgm
reviewdog
🐶 Automated code review tool integrated with any code analysis tools regardless of programming language
MystenLabs
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
gonum
Gonum is a set of numeric libraries for the Go programming language. It contains libraries for matrices, statistics, optimization, and more
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.
aya-rs
Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.
GDQuest
Learn Godot's GDScript programming language from zero, right in your browser, for free.