Search Results for "void-linux"
Sort By:
Showing 501 open source projects for "void-linux"
View related business solutions-
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.
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
1
WSL2-Linux-Kernel
The source for the Linux kernel used in Windows Subsystem for Linux 2
The WSL2-Linux-Kernel repo contains the kernel source code and configuration files for the WSL2 kernel. 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. -
2
netboot.xyz
Your favorite operating systems in one place
netboot.xyz enables you to boot into many types of operating systems using lightweight tooling to get you up and running as soon as possible. Discover new operating systems without having to download and rewrite media over and over again. Rescue operating systems from a single image. An essential for any sysadmin. netboot.XYZ uses the iPXE project to enable you to provision, rescue, or load into a live boot environment leveraging the Preboot Execution Environment (PXE) on most systems.... -
3
stress-ng
This is the stress-ng upstream project git repository.
This is the stress-ng upstream project git repository. stress-ng will stress test a computer system in various selectable ways. It was designed to exercise various physical subsystems of a computer as well as the various operating system kernel interfaces. stress-ng was originally intended to make a machine work hard and trip hardware issues such as thermal overruns as well as operating system bugs that only occur when a system is being thrashed hard. Use stress-ng with caution as some of... -
4
Rocket.Chat Desktop App
OSX, Windows, and Linux Desktop Clients for Rocket.Chat
Secure and compliant communications platform. We use communication platforms on a daily basis to collaborate with colleagues, other companies, customers, and communities. Most of them give you very little in terms of control and customizations; except Rocket.Chat. Bring together messages, projects, and tasks in one place and watch your team’s productivity rise to new heights. Engage in contextual interactions with customers irrespective of how they contact you. Ensure long-term relationships... -
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
5
Zephyr Project
Scalable, optimized, secure RTOS for multiple hardware architectures
The Zephyr Project is a new generation real-time operating system (RTOS) that supports multiple hardware architectures. It is based on a small-footprint kernel specially designed for use on resource-constrained and embedded systems. The Zephyr OS can be used for a wide range of applications: from simple embedded environmental sensors and LED wearables to sophisticated embedded controllers, smart watches, and IoT wireless applications. -
6
ReactOS
A free Windows-compatible Operating System
Imagine running your favorite Windows applications and drivers in an open-source environment you can trust. That's the mission of ReactOS! Being part of a Worldwide Community, as ReactOS is, will boost your own personal skills to a highest new level. Working teamed with people from different countries will enhance your team-working, empathy and English. All these skills are really appreciated by companies out there in job interviews. Contributing your free time into an open source project... -
7
Zen Kernel
Zen Patched Kernel Sources
...Kernel documentation, like the kernel itself, is very much a work in progress; that is especially true as we work to integrate our many scattered documents into a coherent whole. ARC processors are highly configurable and several configurable options are supported in Linux. Some options are transparent to software (i.e cache geometries, some can be detected at runtime and configured and used accordingly, while some need to be explicitly selected or configured in the kernel’s configuration utility. -
8
Moss
Rust Linux-compatible kernel
Moss Kernel is an open-source operating system kernel project designed to explore modern OS design and provide a foundation for experimental system research and development. Rather than replicating traditional monolithic kernels exactly, it emphasizes modularity, safety, and simplicity by incorporating well-structured subsystems for memory management, scheduling, and device abstraction that are easy for contributors to understand and extend. The kernel uses Rust as its primary implementation... -
9
syzkaller
syzkaller is an unsupervised coverage-guided kernel fuzzer
...A distributed architecture coordinates many fuzzing VMs, collects crash signatures, deduplicates them, and bisects to the first bad commit when possible. syzkaller maintains per-kernel “syz” descriptions so it understands arguments, flags, and resources of thousands of syscalls and ioctls across Linux and other kernels. It also ships sophisticated reproducers and minimization routines so developers get small, deterministic test cases they can run locally to fix bugs quickly. -
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.
-
10
FarmBot OS
The operating system and all related software
The operating system and all related software that runs on FarmBot's Raspberry Pi. The FarmBot OS release page has moved to my.farm.bot/os. Old versions of FarmBot OS can still be found. Get configured over WiFi, mitigating the need to plug in a mouse, keyboard, or screen. Communicate with the web application over WiFi or ethernet so that it can synchronize (download) sequences, regimens, farm designs, events, and more; upload logs and sensor data; and accept real-time commands. Communicate... -
11
KMON
Linux Kernel Manager and Activity Monitor
...On most systems, it is loaded on startup after the bootloader and handles I/O requests as well as peripherals like keyboards, monitors, network adapters, and speakers. The Linux kernel is the open-source, monolithic, and, Unix-like operating system kernel that is used in the Linux distributions, various embedded systems such as routers, and as well as in all Android-based systems. Linus Torvalds conceived and created the Linux kernel in 1991 and it's still being developed by thousands of developers today. ... -
12
IJulia.jl
Julia kernel for Jupyter
IJulia is a Julia-language backend (kernel) for Jupyter notebooks, allowing users to write and execute Julia code interactively in browser-based notebooks. It integrates seamlessly with Jupyter’s ecosystem, supporting markdown, plotting, multimedia, and inline output. IJulia is ideal for scientific computing, data analysis, and education, combining the power of Julia with the interactive capabilities of Jupyter. -
13
IPython Kernel for Jupyter
IPython Kernel for Jupyter
This package provides the IPython kernel for Jupyter. IPython provides a rich toolkit to help you make the most of using Python interactively. -
14
sparkmagic
Jupyter magics and kernels for working with remote Spark clusters
Sparkmagic is a set of tools for interactively working with remote Spark clusters in Jupyter notebooks. Sparkmagic interacts with remote Spark clusters through a REST server. Automatic visualization of SQL queries in the PySpark, Spark and SparkR kernels; use an easy visual interface to interactively construct visualizations, no code required. Ability to capture the output of SQL queries as Pandas dataframes to interact with other Python libraries (e.g. matplotlib). Send local files or... -
15
almond
A Scala kernel for Jupyter
Almond already supports code navigation in dependencies via meta browse, paving the way for more IDE-like features and closer integration with the Scalameta ecosystem. Ammonite is a modern and user-friendly Scala shell. Almond wraps it in a Jupyter kernel, giving you all its features and niceties, including customizable pretty-printing, magic imports, advanced dependency handling, and its API, right from Jupyter. This also makes it easy to copy some code from notebooks to Ammonite scripts,... -
16
Linux Kernel Simulator
A python Linux Kernel Simulator
Python Linux Kernel Simulator, for macos, windows, linux. -
17
Super Grub2 Disk
Boots into many systems and GRUB2 ones!
Super GRUB2 Disk helps you to boot into most any Operating System (OS) even if you cannot boot into it by normal means. -
18
Website: https://prismlinux.org Discord: https://discord.gg/hMrWsTpdqw
-
19
EmuTOS
Free operating system for Atari computers, and more.
EmuTOS is a TOS compatible operating system for Atari ST series computers, and more. It is made from Digital Research's GPLed original sources and is a free and open source alternative to Atari proprietary ROMs. -
20
FreeRTOS Real Time Kernel (RTOS)
Market leading real time kernel for 40+ microcontroller architectures
************************************************************************************************************************ * The primary FreeRTOS repository is now in Git. Go to https://github.com/freertos for the latest FreeRTOS kernel and libraries. * Our support has moved to https://forums.freertos.org. ************************************************************************************************************************ FreeRTOS is a market-leading real-time operating system (RTOS)... -
21
QP Real-Time Event Frameworks & Tools
Real-Time Event Frameworks based on active objects & state machines
...Native QP ports and ready-to-use examples are provided for ARM Cortex-M (M0/M0+/M3/M4/M7/M33/...) as well as other CPUs. The QP RTEFs can also work with many traditional RTOSes and General-Purpose OSes, such as Linux and Windows. -
22
QNAP NAS GPL Source
QNAP GPL Source
GPL source for QNAP Turbo NAS -
23
Debian 13 Mate
Debian Trixie with the Mate desktop environment
EFI SUPPORT: Download the efi iso if you need efi support here: https://sourceforge.net/projects/debian-mate/files/current/ This is debian 13 mate. Built with debian tools, packages, and currently based on the stable branch (Trixie). Here I try not to use software from outside of the debian repositories. For all intents and purposes, this is just debian paired with the mate desktop environment with a lot of hardware support taken care of. Debian mate doesn't force you into new... -
24
FlashForth is a standalone Forth system for the Microchip PIC 18, 24, 30, 33 and the Atmel Atmega series of microcontrollers. A Forth system with interpreter, compiler, assembler and multitasker is provided.
-
25
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.
