Search Results for "virtual-machine"
Sort By:
Showing 7 open source projects for "virtual-machine"
View related business solutions-
Stop Storing Third-Party Tokens in Your DatabaseRolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
1
CachyOS
Blazingly Fast & Customizable Linux distribution
CachyOS - Arch Linux Based Distribution With Heavy Optimizations & Multi-Architectures For Ultimate Desktop Experience Filesystems: - btrfs - zfs - ext4 - xfs - f2fs Our installer will auto detect which micro architecture your machine got, if x86-64-v3 or x86-64-v4 is detected it will automatically use the optimized packages, which is around a 10 % performance improvement. Desktop Environments: - KDE - CuteFish - i3 - Gnome - Openbox - Wayfire - Xfce - LXQT - bspwm All packages are compiled with Full LTO and other optimization flags. Depending on the march your cpu have it is compiled against x86-64, x86-64-v3 or x86-64-v4. ... -
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
virgo
32 bit VIRGO Linux Kernel
Linux kernel fork-off with cloud and machine learning features -
4
LogoROS is new object-oriented operation system (currently in early development). See wiki page: https://sourceforge.net/apps/mediawiki/logoros/ and development blog: https://sourceforge.net/apps/wordpress/logoros/ for more info.
-
Forever Free Full-Stack Observability | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
5
vesper(Virtual Embraced Space ProbER) offers framework to monitor status of guests on various virtual machine environments, by injecting kernel modules from host to other guest domains.
-
6
Orange JeOS
Orange JeOS ("juice") is a small and secure Linux distribution
Orange JeOS ("juice") is a small and secure Linux distribution, based on CentOS and designed for use by hardware, software and virtual appliance builders. OJ-Builder Tools are used to build an Orange JeOS ISO entirely from public CentOS repository. Orange JeOS leverages the CentOS Linux distribution and allows building fully functioning software (and hardware and virtual) appliances in as little as 200 MB. -
7
niab - Network In A Box. Create a virtual lab network inside one machine. A lab can include routers, firewalls, clients and servers connected by a network specified by you. [Linux Network Simulator, UML, user mode linux]
- Previous
- You're on page 1
- Next
