reddit.com
r/websim points to a Reddit community or thread with discussion, updates, troubleshooting, or shared resources.
Directory
Search results
Published directory entries matching your search.
reddit.com
r/ZooCode points to a Reddit community or thread with discussion, updates, troubleshooting, or shared resources.
repomix.com
Repomix supports software development with code generation, analysis, debugging, or documentation.
skills.sh
Skills is a directory for discovering and installing skills for AI agents. Skills are reusable capabilities that provide procedural knowledge helping agents accomplish specific tasks more effectively. Installation uses a skills CLI command, and the leaderboard ranks skills based on anonymous telemetry data collected from that CLI.
softwarefoundations.cis.upenn.edu
Software Foundations is a series introducing the mathematical foundations of reliable software. Each volume's text and exercises are formalized as a proof script for the Rocq proof assistant. It targets readers from advanced undergraduates to researchers; no background in logic or programming languages is assumed.
supermaven.com
Supermaven is an AI code completion tool that uses a 1 million token context window to provide code suggestions. It is compatible with VS Code, JetBrains IDEs and Neovim, and includes a chat interface for working with models including GPT-4o and Claude 3.5 Sonnet. A free tier is offered, and Pro adds a 1 million token context window.
github.com
Open-source project that supports software development with code generation, analysis, debugging, or documentation.
swebench.com
SWE-bench is a benchmark for evaluating large language models on real-world software issues collected from GitHub. Given a codebase and an issue, a language model generates a patch that resolves the described problem.
learning.oreilly.com
Supports software work with AI-assisted coding, testing or application development.
open-vsx.org
Usage Tracker supports software development with code generation, analysis, debugging, or documentation.
gist.github.com
This GitHub Gist, created by user tejainece, hosts a VS Code Marketplace intended for use with the Antigravity project. It was last active on September 25, 2026, and has received 152 stars and 16 forks on the Gist platform.
websim.com
Websim supports software development with code generation, analysis, debugging, or documentation.
x.com
Websim AI supports software development with code generation, analysis, debugging, or documentation.
github.com
Zoo Code is a GitHub repository for a tool that provides a team of AI coding agents integrated directly into a code editor. The repository includes information about migration from Roo Code to Zoo Code, new features added since that migration, and version notes for v3.84.0.