A curated collection of specialized skills, designed to enhance AI-assisted workflows
☆11Sep 15, 2026Updated last month
Alternatives and similar repositories for skills
Users that are interested in skills are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Our job scheduler☆12Feb 23, 2026Updated 8 months ago
- Provides support for attachment management for Taskwarrior☆12Apr 19, 2012Updated 14 years ago
- Client-side WebSocket mock for easy testing of Websocket clients☆13Oct 23, 2014Updated 12 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Jun 24, 2020Updated 6 years ago
- ☆12Aug 15, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- SLIM - Token-efficient data serialization for AI/LLM applications☆12Jan 11, 2026Updated 10 months ago
- Formal verification for interconnected software☆16Oct 27, 2026Updated 2 weeks ago
- An experimental type theory with scoped equality reflection, and non-arbitrary proof search. This is basically a pared down version of An…☆12Jul 27, 2014Updated 12 years ago
- Open-source web app for listening to music collaboratively☆11Jun 25, 2013Updated 13 years ago
- Internalizing intensional type theory☆12Jun 20, 2015Updated 11 years ago
- Collection of tactics I've found useful in Coq☆11Sep 30, 2016Updated 10 years ago
- Custom exhereses for Exherbo☆10Updated this week
- ☆12Sep 6, 2026Updated 2 months ago
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Virtual Classes for Scala implemented as annotation macro☆11Aug 27, 2014Updated 12 years ago
- Figi is a small macro based utility for Scala 2.11 that allows you to easily create simple type-safe wrappers for configuration objects.☆10Jan 31, 2016Updated 10 years ago
- Professional home inspections React Native app in iPad or iPad Mini. Photo integration removes the tedious picture uploading process. Pre…☆13Feb 25, 2018Updated 8 years ago
- Compiler for the Albatross Language☆12Sep 29, 2021Updated 5 years ago
- From code to live app in 60 seconds. Copy any template → Customize with AI → Deploy instantly. The massive JavaScript codebase that power…☆13Oct 13, 2025Updated last year
- ☆10Jan 22, 2018Updated 8 years ago
- ORM and query builder for Crystal lang.☆16Apr 15, 2021Updated 5 years ago
- httpstream is an extremely simple Go library for consuming streaming HTTP API's☆14Aug 27, 2014Updated 12 years ago
- GenesisDB - The open source, GDPR-ready event sourcing database for developers who love event sourcing.☆16Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Selenium Output format for Specs2☆11Jan 3, 2012Updated 14 years ago
- A series of text and video tutorials on React.js☆13Nov 29, 2017Updated 8 years ago
- A simple demo showing how to use the Ideogram inpainting model on Replicate using Node.js.☆17Oct 24, 2024Updated 2 years ago
- An HTML pre-processor written with Tumblr in mind.☆13Jan 9, 2015Updated 11 years ago
- X (Twitter) Video Downloader Workflow for GitHub Repos☆16Mar 31, 2025Updated last year
- Instrument to capture RSSI and data of 433MHz transmissions☆12Sep 5, 2020Updated 6 years ago
- ☆10Apr 4, 2016Updated 10 years ago
- Glass-box agent execution engine. Deterministic, forensic audit trails, EU AI Act compliant. The PyTorch for Agents.☆14Oct 20, 2026Updated 3 weeks ago
- ☆14Feb 19, 2026Updated 8 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆13Sep 7, 2026Updated 2 months ago
- PlayFramework 2.x module to fetch, cache, and display tweets from Twitter☆10Mar 13, 2015Updated 11 years ago
- Running sublean☆21Updated this week
- Background jobs that live in your Postgres: enqueued in your transaction, run by workers in Ruby, Rust, Go or anything with a C FFI.☆12Updated this week
- Fillmore is a jQuery plugin that allows you to add a dynamically-resized background image to any page, or any given element. The image w…☆14Nov 15, 2012Updated 13 years ago
- Command and Conquer: Renegade☆13Sep 30, 2025Updated last year
- Less-than-pure Functional Reactive Programming for Javascript☆13Jan 9, 2012Updated 14 years ago
Are these results useful?