Search Results for "void-linux"
Sort By:
Showing 499 open source projects for "void-linux"
View related business solutions-
Find Hidden Risks in Windows Task SchedulerWindows Task Scheduler might be hiding critical failures. Download the free JAMS diagnostic tool to uncover problems before they impact production—get a color-coded risk report with clear remediation steps in minutes.
-
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
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
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... -
3
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. -
4
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. -
Atera all-in-one platform IT management software with AI agentsAtera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
-
5
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... -
6
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.... -
7
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... -
8
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. -
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. -
DAT Freight and Analytics - DATDAT Freight & Analytics operates DAT One, North America’s largest truckload freight marketplace; DAT iQ, the industry’s leading freight data analytics service; and Trucker Tools, the leader in load visibility. Shippers, transportation brokers, carriers, news organizations, and industry analysts rely on DAT for market trends and data insights, informed by nearly 700,000 daily load posts and a database exceeding $1 trillion in freight market transactions. Founded in 1978, DAT is a business unit of Roper Technologies (Nasdaq: ROP), a constituent of the Nasdaq 100, S&P 500, and Fortune 1000. Headquartered in Beaverton, Ore., DAT continues to set the standard for innovation in the trucking and logistics industry.
-
10
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. -
11
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... -
12
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. ... -
13
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... -
14
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,... -
15
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. -
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
Linuxfx Winux OS
Winux Operating System by Linuxfx
Windows Theme Over Linux a.k.a "Winux" is a super secure Linux operating system that is completely inspired by Microsoft Windows, but does not require any special hardware requirements and can be installed. -
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
QNAP NAS GPL Source
QNAP GPL Source
GPL source for QNAP Turbo NAS -
22
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. -
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
BearOS
BearOS kernel source tree x86
