☆21Jun 12, 2026Updated 4 months ago
Alternatives and similar repositories for skills-redecoracao
Users that are interested in skills-redecoracao are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A desktop app for running coding agents side by side in project-based terminal sessions.☆18Updated this week
- A fork of openai/miniF2F adapted to Lean 4, with corrections to formalizations and informal descriptions. for human readers.☆15Apr 23, 2026Updated 6 months ago
- Skills e fluxos que uso nos meus agentes☆237Updated this week
- ☆14Updated this week
- A native Windows desktop client for Claude Code and Codex CLI.☆24May 14, 2026Updated 5 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Base62 encoder/decoder for Crystal☆13Oct 12, 2023Updated 3 years ago
- Plugins for Paseo — a skills browser, a GitHub board, and a launchd job scheduler.☆16Updated this week
- This repository contains the source codes for a responsive navigation bar built using HTML, CSS, and JavaScript. The nav bar is designed …☆13Aug 17, 2026Updated 2 months ago
- An interactive learning playground to learn mechanical engines developed using claude fable 5☆25Jun 12, 2026Updated 4 months ago
- Context management server, for coding agents☆15Jul 22, 2026Updated 3 months ago
- Homebrew tap for rtk-ai tools (rtk, vox)☆20Updated this week
- ☆21Aug 21, 2026Updated 2 months ago
- Gravity — a desktop workspace for AI coding agents☆23Oct 2, 2026Updated 3 weeks ago
- Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"☆22May 27, 2026Updated 4 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- By slop for slop, to remove slop in an AI slop world.☆23Sep 17, 2026Updated last month
- A markdown knowledge base for agents that's CLI and skill driven. Full featured with Google's OKF support and network vaults to share bet…☆20Oct 12, 2026Updated 2 weeks ago
- Turn one prompt into a finished MP4. An AI agent skill for Claude Code, Cursor, Codex & Windsurf that generates TikTok/Reels/Shorts, YouT…☆32Jun 17, 2026Updated 4 months ago
- A Claude skill for applying behavioral psychology and behavioral economics to product and UX design. Behavioral diagnosis, nudge design, …☆33Aug 31, 2026Updated last month
- Proving polynomial inequalities with sum-of-squares certificates☆30Apr 4, 2026Updated 6 months ago
- ☆100Jul 9, 2026Updated 3 months ago
- Un-nerfed Claude Code system prompts — a drop-in replacement set that flips the stock "be brief / minimal / concise" directives into "be …☆30Oct 8, 2026Updated 2 weeks ago
- ☆53Jul 1, 2026Updated 3 months ago
- ☆58Jul 1, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- This is a wrapper of Tesseract OCR. Helping to read characters on an image.☆13Jun 6, 2022Updated 4 years ago
- Makes working with CSVs as smooth as honey.☆14Apr 16, 2024Updated 2 years ago
- Desafio Backend - #VemProiFood☆13May 16, 2022Updated 4 years ago
- A portable Agent Skill for designing token-efficient, deterministic CLI interfaces for AI coding agents.☆21Sep 9, 2026Updated last month
- Contexto privado, local-first e recuperável para agentes Hermes.☆18Aug 12, 2026Updated 2 months ago
- Paranoid Android Google Apps☆10Jun 2, 2015Updated 11 years ago
- MCP server for TypeSafe Jev: typed classify, score, check, match and screen for any agent, with confidence on every answer☆25Updated this week
- ☆29Apr 2, 2026Updated 6 months ago
- A super-fast ORM backed by Redis, supporting models and indexes with O(1) searches, and support for storing native/complex types and obje…☆18Aug 7, 2019Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- GT-i9505 Kernel for TW 4.4.2 & GPE 5.0.x / 4.4.x☆17Apr 5, 2015Updated 11 years ago
- ☆21Dec 8, 2022Updated 3 years ago
- How To Build a REST API with Node, Prisma and PostgreSQL☆10Aug 10, 2021Updated 5 years ago
- Scaffold for setting up an agent harness in Claude Code or Cowork. Companion to the MarTech AI newsletter.☆26Oct 5, 2026Updated 3 weeks ago
- Fastest one-click OpenClaw deploy on Render. Simple, easy setup. Powered by AlphaClaw.☆22Updated this week
- A NestJs boilerplate template, based on Vertical Slice Architecture, TypeOrm and OpenTelemetry☆14Sep 18, 2025Updated last year
- ☆13Nov 25, 2022Updated 3 years ago