Search Results for "ubuntu linux"
Sort By:
Showing 3 open source projects for "ubuntu linux"
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.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
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
ZintoriOS
Simple, Fast, Advanced... ZintoriOS. Made in Wellington, New Zealand
-
3
Ubuntu Package Dependency Recuperator
An Ubuntu package recuperator, along with its dependencies.
Donwload a package and its dependencies, for dealing with Ubuntu computers which has no internet connection. Before, a script is to be launched from the internet-less computer in order to know which packages are already installed.
- Previous
- You're on page 1
- Next
