Tools built for a more deliberate workflow.
Write code with explicit intent, or browse without reaching for the mouse. Explore Botwork software and choose the tool that fits how you work.
Prove
Make intent and guarantees part of your code. Prove is a programming language where functions declare their purpose and contracts alongside the implementation.
Free to use. Start with the documentation, installation guide and examples.
Botwork Browser
Keep your hands on the keyboard. Browse with vim-style motions and a borderless interface, with your workspace configured in YAML.
macOS alpha. A work in progress for keyboard-first users. Read the current features and subscription terms before ordering.
Know what you are getting.
Prove is free to use; its documentation explains installation, examples and licensing. Botwork Browser is a macOS alpha with its own subscription and download terms. Each project has a different development stage and licence. Explore the Prove overview or the Browser overview before getting started.
Need a home for your code, files or email? Explore Botwork services. Have a question about an offering? Contact Botwork.