opencode
The open source coding agent.
Browse cluster: Lean4 Formal Verification & Cryptography →5,819commits
273contributors
10languages
Tech stack & purpose
Not yet analyzed.
Community & reference links
Languages
TypeScript
75.6%
MDX
21.0%
CSS
2.9%
HTML
0.1%
JavaScript
0.1%
Astro
0.1%
Shell
0.1%
Nix
0.0%
Dockerfile
0.0%
PowerShell
0.0%
Contributors (top 30 of 273)
- opencode-agent[bot]1,388 commits
- Kit Langton1,058 commits
- Aiden Cline398 commits
- Adam234332 commits · 2 followers
- Frank311 commits
- Brendan Allan293 commits
- Shoubhit Dash247 commits
- Luke Parker242 commits
- Dax Raad226 commits
- Dax155 commits
- James Long143 commits
- opencode135 commits
- David Hill104 commits
- Sebastian77 commits
- Aarav Sareen71 commits
- Jack49 commits
- OpeOginni41 commits
- Simon Klee40 commits
- usrnk134 commits
- vimtor29 commits
- Victor Navarro20 commits
- Filip20 commits
- Vladimir Glafirov17 commits
- github-actions[bot]15 commits · 0 followers
- Ariane Emory11 commits
- Caleb Norton10 commits
- Jérôme Benoit10 commits
- Dustin Deus9 commits
- adamelmore9 commits
- Noam Bressler6 commits
