Derek Serverless Bot (in Go) for GitHub Projects

In plain words

Derek is a serverless bot built in Go that integrates with GitHub Projects. It automates workflows and management tasks for developers using GitHub's project management features. The bot runs without requiring dedicated server infrastructure, making it lightweight for teams that need to streamline their GitHub-based project processes.

written from the facts on this page · September 2026

• 
  derek – a GitHub bot to help teams manage PRs and issues2017 · github.com · ▲6

  Reduce maintainer fatigue by automating GitHub. Contribute to alexellis/derek development by creating an account on GitHub.

• 
  Derek 0.10.3 – block out Hacktoberfest spam2020 · github.com · ▲10

  Reduce maintainer fatigue by automating GitHub. Contribute to alexellis/derek development by creating an account on GitHub.

• 
  I built an AI that turns GitHub codebases into easy tutorials2025 · github.com · ▲923

  https://the-pocket.github.io/Tutorial-Codebase-Knowledge/

• 
  Derek – delegate fine-grained GitHub permissions to community2017 · github.com · ▲5

  Reduce maintainer fatigue by automating GitHub. Contribute to alexellis/derek development by creating an account on GitHub.

• 
  CTO.ai2020 · cto.ai · ▲393

  Build, share & run developer workflows in the CLI + Slack

• 
  Fleak AI Workflows2024 · fleak.ai · ▲481

  Build serverless APIs in minutes

• 
  /dev/null▲489

  a social network for devs

  Dev tools · 3d ago · dev-null.sh

• 
  Whiteboard (YC W26) – an open-source IDE for thoughtful software design▲423

  open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

  Dev tools · 28d ago · github.com

• 
  Reladraw – A diagram language where you decide where to place things▲411

  Contribute to reladraw/reladraw development by creating an account on GitHub.

  Dev tools · 26d ago · github.com

• 
  OpenBot▲362

  Grok Bot alternative: free, local, open-source, multiplayer

  Dev tools · 23d ago · openbot.run

• 
  Talanoa▲346

  Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…

  Dev tools · 21d ago · talanoa.email

• 
  CoreSpeed▲332

  One MCP for everything your agents need: apps, memory, tools

  Dev tools · 28d ago · corespeed.io

• 
  First Search▲1,093

  The world's best startup advice, curated and searchable.

  Growth · 2017 · review.firstround.com

• 
  New Tesla Roadster▲1,006

  The fastest production car ever made ⚡️

  Life & fun · 2017 · tesla.com

• 
  Tesla Semi▲962

  The safest, and most comfortable truck ever made

  Life & fun · 2017 · tesla.com

• 
  Mockup Generator▲879

  Create attractive product screenshots with just a few clicks

  Growth · 2017 · theapplaunchpad.com

• 
  Landing Pages in MailChimp▲723

  Easy to build, custom landing pages for free

  Growth · 2017 · login.mailchimp.com

• 
  Thieve▲700

  A curated list of the best products on AliExpress

  Commerce · 2017 · thieve.co