Skip to content
Project categories

Developer Tools · GitHub

Build software and improve your daily development workflow.

Useful GitHub projects

52,924 projects

ERASOR

LimHyungTae

525stars

Official page of ERASOR (Egocentric Ratio of pSeudo Occupancy-based Dynamic Object Removal), which is accepted @ RA-L'21 with ICRA'21

CloudPaste-old

ling-drag0n

527stars

An online clipboard and file sharing service based on Cloudflare Workers, supporting Markdown, burn-after-reading, text/file sharing, password protection, and more.

lingtai

Lingtai-AI

509stars
lingtai preview

LingTai AI

  • Keeps a long-running question or project — durable memory and goals survive sessions, restarts, and closing the terminal.
  • Works like a scientist — evidence-first tool use, experiments, verified findings, and durable records you can review.

tbmk

linhx

351stars
tbmk preview

A commands bookmark for shells 🔖

  • Bookmark manager.
  • Command placeholder. Allow to input value.