Search Results for "ubuntu-"
Sort By:
Showing 7 open source projects for "ubuntu-"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
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.
-
1
WSL2-Linux-Kernel
The source for the Linux kernel used in Windows Subsystem for Linux 2
...If you discover an issue relating to WSL or the WSL2 kernel, please report it on the WSL GitHub project. It is not possible to report issues on the WSL2-Linux-Kernel project. Instructions for building an x86_64 WSL2 kernel with an Ubuntu distribution are provided. The number one way that we recommend you run Linux distributions is by installing Windows Terminal. Using Windows Terminal enables you to open multiple tabs or window panes to display and quickly switch between multiple Linux distributions or other command lines (PowerShell, Command Prompt, PowerShell, Azure CLI, etc). ... -
2
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. -
3
Gobudgie
Gobudgie is an operating system which is compatible to Android.
Gobudgie is using the powerfull Budgie desktop combined with the Ubuntu base. The user interface is designed for Android users so we're using a material theme. Gobudgie offers several ways to easily access or install applications. We integrated the Chromium OS Web Store the standard Ubuntu Software Center, an Android App runtime, PlayOnLinux and Wine. -
4
Sensa
Android, DOS, FirefoxOS, Linux, MacOS and Windows all in one..
Sensa is not an operating system, is a work environment compatible with Android © 4.4.4, Firefox OS ©, Linux Ubuntu 12.12 ©, MacOS Classic 7 ©, MS -DOS © operating systems, and Microsoft Windows 8.1 ©; whose distribution is free, and with source code available under GNU GPL 2.0 license . -
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
5
ZintoriOS
Simple, Fast, Advanced... ZintoriOS. Made in Wellington, New Zealand
-
6
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. -
7
This project consist in a portable image of Ubuntu that could run in Windows as a native win32 application. You could execute Linux applications and integrate it in your Windows desktop. This system can be bringing in any removable device such as pendriv
- Previous
- You're on page 1
- Next