Search Results for "rollback"
Sort By:
Showing 2 open source projects for "rollback"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
1
Coq Jupyter
Jupyter kernel for Coq
Make sure that CoqIDE (8.6 or newer) is installed and coqidetop or coqidetop.opt (coqtop for Coq versions before 8.9.0) is in your PATH. Also, make sure the python command is recognized on your machine. If not you can set up an alias for it e.g. python-is-python3 on Ubuntu. There are a number of convenience improvements over standard Jupyter notebook behavior that are implemented to support Coq-specific use cases. -
2
Hawaii
Wayland/QtQuick based OS with incremental updates and bundles
Hawaii is a desktop operating system built on the GNU/Linux stack with a new lightweight and fast Wayland desktop environment written with QtQuick and deeply integrated with systemd. Hawaii delivers incremental and atomic updates which gives users to ability to rollback the whole system to a known good state if a regression happens.
- Previous
- You're on page 1
- Next
