Sequence diagrams

Diagrams showing interactions between system components over time.

OtherDev toolssystem-designdocumentation

Recommended in 1 thread

Here be monsters: What do you still need to know when agents do the work?
blog.adrq.dev · 2 days ago
Recommended as a deliverable to build a system-level view of agent or team code.

Web Origami ↗Dev tools
A JavaScript-like dialect and toolkit for building static sites with built-ins for Markdown and RSS.
1 thread
Alloy ↗Dev tools
A lightweight formal modeling language and analyzer for software designs.
1 thread
MacPorts Dev tools
A package management system for macOS.
1 thread
qmd ↗Dev tools
Local search engine for markdown documents with hybrid semantic search.
1 thread
GhidraSQL ↗Dev tools
Exposes Ghidra reverse-engineering data to AI agents as virtual SQL tables.
1 thread
TLA+ Dev tools
A formal specification language by Leslie Lamport for designing and checking systems.
1 thread
pyxis ↗Dev tools
A compiler that generates Rust types matching C++ memory layouts.
1 thread
OpenCode Dev tools
An open-source terminal coding agent harness.
2 threads

Pi ↗
An extensible terminal coding agent that can switch between models.
4 threads
F-Droid
An app store distributing free and open-source Android apps.
3 threads
Claude Code
Anthropic's terminal-based coding agent harness.
2 threads
Collie ↗
A mobile interface to desktop agent sessions via tmux, zellij or herdr.
2 threads
Forgejo
A self-hostable community-driven software forge.
2 threads
OpenCode
An open-source terminal coding agent harness.
2 threads
OrbStack
A macOS app for running Docker containers and Linux VMs.
2 threads
Playwright
A browser automation framework for end-to-end testing.
2 threads
lossy-git ↗
A toy version control system that stores code by training a neural network and reconstructs it on checkout.
2 threads
uv
Fast Python package and project manager.
2 threads
Aeneas ↗
A toolchain that translates safe Rust programs into proof assistants like Lean for verification.
1 thread
Alloy ↗
A lightweight formal modeling language and analyzer for software designs.
1 thread