/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 zed.dev
Claude Code: Now in Beta in Zed - Zed's Blog
| | codingrelic.geekhold.com
Coding Relic: Vibe Coding and Wisdom
1.5 parsecs away

Travel
| | I started experimenting with Claude Code a while ago. I am not the first person to make this observation, but thinking of Claude Code as an ...
| | github.com
GitHub - zed-industries/claude-code-acp: Use Claude Code from any ACP client such as Zed!
1.0 parsecs away

Travel
| | Use Claude Code from any ACP client such as Zed! Contribute to zed-industries/claude-code-acp development by creating an account on GitHub.
| | blog.henricook.com
Read Permissions for Claude Code
1.5 parsecs away

Travel
| | Grant Claude Code CLI the ability to perform read actions without constantly asking for user permission
| | github.com
GitHub - theoremprover-museum/HOL88: The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. ยท GitHub
9.8 parsecs away

Travel
| The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. - GitHub - theoremprover-museum/HOL88: The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML.