Playwright
A browser automation framework for end-to-end testing.
LibraryDev toolse2e-testingbrowser-automation
Recommended in 1 thread
The foolishness of "natural language programming" (1978)cs.utexas.edu ·
Used to have agents write long end-to-end tests that guard against regressions.
Similar tools
- 1 thread
- Web Origami ↗Dev tools1 thread
A JavaScript-like dialect and toolkit for building static sites with built-ins for Markdown and RSS.
- 1 thread
- 1 thread
- Aeneas ↗Dev tools1 thread
A toolchain that translates safe Rust programs into proof assistants like Lean for verification.
- 1 thread
- 2 threads
- rust-glancer ↗Dev tools1 thread
A Rust code-analysis tool positioned as a lighter alternative for IDE support.
Also in Dev tools
- F-Droid3 threads
An app store distributing free and open-source Android apps.
- OpenCode2 threads
An open-source terminal coding agent harness.
- OrbStack2 threads
A macOS app for running Docker containers and Linux VMs.
- 2 threads
- lossy-git ↗2 threads
A toy version control system that stores code by training a neural network and reconstructs it on checkout.
- uv2 threads
Fast Python package and project manager.
- Aeneas ↗1 thread
A toolchain that translates safe Rust programs into proof assistants like Lean for verification.
- 1 thread
- 1 thread
- Aurora Store1 thread
An open-source alternative client for downloading apps from Google Play.
- Blink Shell1 thread
A terminal emulator and SSH/Mosh client for iOS.
- 1 thread