rollback free download

Showing 2 open source projects for "rollback"

View related business solutions

Operating System Kernels Python Clear Filters & Widen Search

$300 Free Credits for Your Google Cloud Projects
Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.

Start Free Trial
Fully Managed MySQL, PostgreSQL, and SQL Server
Automatic backups, patching, replication, and failover. Focus on your app, not your database.

Cloud SQL handles your database ops end to end, so you can focus on your app.

Try Free
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.

Downloads: 0 This Week

Last Update: 2024-01-25
See Project
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.

Downloads: 5 This Week

Last Update: 2016-09-21
See Project