Software and services that put you in control.
Discover thoughtfully built software and European-hosted services for your code, files and communications.
Software
Tools for people who want to understand and shape their workflow. Start with an intent-first programming language or a keyboard-driven browser.
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.
Services
A European home for your code, files and email. Choose personal or enterprise plans, with Botwork maintaining the infrastructure.
Git hosting
Keep code, issues and CI/CD workflows together. European-hosted Git services powered by Gitea, for personal projects and teams.
Cloud storage
Bring your files, photos and calendar together. European-hosted cloud services powered by Nextcloud, with a 100 GB personal plan.
Use your own mailbox with the email client you prefer. Standard IMAP and SMTP access, hosted in Europe.
Built and run by people.
Botwork is a small business from Sweden. Magnus handles the technical work and operations. Service subscriptions help cover infrastructure costs and support software development.
Software licensing and development-ticket terms vary by project. For questions about a hosted account, setup or migration, contact Botwork. Read the terms of your chosen offering for its support and access conditions.
Guides & news
Practical examples, project updates and notes on how we build.
-
Package Manager with SQLite
Prove v1.4 ships a package manager. Packages are distributed as .prvpkg files — SQLite databases containing pre-checked AST, type signatures, and comptime-resolved assets. The entire…
-
Building GUI Apps in Prove
Most programming tutorials jump straight to web apps or REST APIs. But there’s something deeply satisfying about a small, self-contained desktop tool — a thing…
New software, practical guides and Botwork service updates.
Join the newsletter for project news and useful guides. You can unsubscribe at any time. See our privacy policy.