Open Source Operating System Kernels - Page 3

  • Get full visibility and control over your tasks and projects with Wrike. Icon
    Get full visibility and control over your tasks and projects with Wrike.

    A cloud-based collaboration, work management, and project management software

    Wrike offers world-class features that empower cross-functional, distributed, or growing teams take their projects from the initial request stage all the way to tracking work progress and reporting results.
    Learn More
  • Ango Hub | All-in-one data labeling platform Icon
    Ango Hub | All-in-one data labeling platform

    For AI teams and Computer Vision team in organizations of all size

    AI-Assisted features of the Ango Hub will automate your AI data workflows to improve data labeling efficiency and model RLHF, all while allowing domain experts to focus on providing high-quality data.
    Learn More
  • 1
    GaryOS

    GaryOS

    GaryOS is an entire GNU/Linux system in a single bootable file

    GaryOS is an entire GNU/Linux system in a single bootable file. It is also a Builder system to create and package Gentoo installations. Builder creates custom root filesystems that GaryOS can load into memory in place of its own. GaryOS can build new or updated versions of itself from within itself. Primary uses: * System rescue and recovery * Anonymous and secure workstation * GNU/Linux learning environment * Installation of Gentoo Unique advantages: * Source-based distributions are more flexible and powerful than binary ones * A single Kernel file is easier to manage and boot than an ISO image * GaryOS is stored on media as a resident of it, not the purpose of it No other GNU/Linux distribution takes the same approach or has the same features as GaryOS.
    Leader badge
    Downloads: 390 This Week
    Last Update:
    See Project
  • 2
    This project maintains the Linux Console tools, which include utilities to test and configure joysticks, connect legacy devices to the kernel's input subsystem (providing support for serial mice, touchscreens etc.), and test the input event layer.
    Leader badge
    Downloads: 390 This Week
    Last Update:
    See Project
  • 3
    Coq Jupyter

    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.
    Downloads: 14 This Week
    Last Update:
    See Project
  • 4
    ALG

    ALG

    A Fast, Offline, Graphical distribution based on Arch Linux

    October 2025 ISOs have been released! 3 new ISOs - PLASMA, GNOME, XFCE have been released. Thank you to all the members in the ALG community for their support.
    Leader badge
    Downloads: 324 This Week
    Last Update:
    See Project
  • Save up to 90% off rates for USPS, UPS, DHL Express, and more with the best multi-carrier shipping software for e-commerce businesses. Icon
    Save up to 90% off rates for USPS, UPS, DHL Express, and more with the best multi-carrier shipping software for e-commerce businesses.

    For Small / Medium E-Commerce Businesses

    Whether you're established or just getting started, Shippo is the best shipping software for growing e-commerce brands that need to save time and money, fulfill and ship at scale, and delight customers. Create shipping labels for all carriers & save money with discounted rates. See all your online sales channels in one place and automatically access discounted USPS and DHL Express rates, or use your own carrier accounts. Sign up is free and there are no monthly fees or cancellation fees.
    Learn More
  • 5
    status-react

    status-react

    A free (libre) open source, mobile OS for Ethereum

    Status is a secure messaging app, crypto wallet, and Web3 browser built with state-of-the-art technology. Join us in creating a browser, messenger, and gateway to a decentralized world. Status is a free (libre) open-source mobile client targeting Android & iOS built entirely on Ethereum technologies. That's right, no middle men and go-Ethereum running directly on your device. We believe in a medium of pure free trade, economies with fair, permission-less access and a world without intermediaries. We want to create policies that can exist between friends or scale globally, we want to communicate securely and be uninhibited by legacy systems. Safely send, store and receive cryptocurrencies including ERC20 and ERC721 tokens with the Status crypto wallet. Only you hold the keys to your funds. Status' intuitive design protects you and your funds from attacks. Status uses an open-source, peer-to-peer protocol, and end-to-end encryption to protect your messages from third parties.
    Downloads: 12 This Week
    Last Update:
    See Project
  • 6
    NuTyX GNU/Linux

    NuTyX GNU/Linux

    NuTyX is a very flexible, complete GNU / Linux distribution

    NuTyX is a very flexible, complete GNU / Linux distribution for advanced or motivated users. Numerous concepts of the distribution are original and therefore exist only on NuTyX. For example, it has its own CARDS package manager. You can choose to use the ports system, compile and install your packages from their sources, they will be integrated natively in the system, their management will be transparent. In addition to the traditional ISOs available, an installation script can install NuTyX from another distribution.
    Leader badge
    Downloads: 100 This Week
    Last Update:
    See Project
  • 7
    ArchMint

    ArchMint

    ArchMint GNU/Linux Distro

    2007 yılında Edgar Colby ve Necho Carlota tarafından Portekiz ve Brezilyalı kullanıcıları Arch Linux tabanlı kolay kurulabilen bir GNU/Linux dağıtımı ile buluşturmak adına ArchMint projesi başlamış ve 2013 yılına kadar Gnome 2 masaüstüne sahip 4 ayrı ana sürüm yayınlanmıştır. 2013 yılında Mate masaüstü ortamına geçiş ile birlikte projeye Hasan Arslan ve Tekin Özer dahil olmuştur. 2014 yılında projenin başlatıcıları olan Edgar Colby ve Necho Carlota'nın projeden ayrılması ile birlikte proje ismine ithafen Arch Linux'un sağlamlığı ve Linux Mint'in açık kaynak kodlu araçları birleştirilerek 2 yeni sürüm hazırlanmıştır. ArchMint projesi, 2016 yılında tüm geliştiricilerin ayrılması ile birlikte askıya alınmıştır. 2017 - 2020 yılları arasında eski geliştiriciler birkaç sürüm yayınlamış fakat devamı gelmemiştir. ArchMint paket deposu hala günceldir ve Arch Linux içinde kullanılabilir. [archmint] SigLevel = Never Server = https://sourceforge.net/projects/archmint/files/repo/$arch
    Leader badge
    Downloads: 282 This Week
    Last Update:
    See Project
  • 8
    Project LegionOS

    Project LegionOS

    Android Custom Rom

    A AOSP based project that is set to show its power in Battery , Performance and Customization without compromising security.
    Leader badge
    Downloads: 154 This Week
    Last Update:
    See Project
  • 9
    NVIDIA Linux Open GPU Kernel Module

    NVIDIA Linux Open GPU Kernel Module

    NVIDIA Linux open GPU kernel module source

    This is the source release of the NVIDIA Linux open GPU kernel modules, version 530.41.03. Note that the kernel modules built here must be used with GSP firmware and user-space NVIDIA GPU driver components from a corresponding 530.41.03 driver release. Currently, the kernel modules can be built for x86_64 or aarch64. If cross-compiling, set these variables on the make command line. Any reasonably modern version of GCC or Clang can be used to build the kernel modules. Note that the kernel interface layers of the kernel modules must be built with the toolchain that was used to build the kernel. This code base is shared with NVIDIA's proprietary drivers, and various processing is performed on the shared code to produce the source code that is published here. When packaged in the NVIDIA .run installation package, the OS-agnostic component is provided as a binary.
    Downloads: 10 This Week
    Last Update:
    See Project
  • Create engaging surveys on your tablet or computer with ease. Icon
    Create engaging surveys on your tablet or computer with ease.

    Choose any of our carefully designed themes, or easily customize colors, fonts, and more to reflect your brand's true look and feel.

    Create great-looking surveys, forms, polls, voting, questionnaires, NPS, customer satisfaction, customer experience, employee satisfaction surveys... on your computer or tablet, customize the look of your survey however you like, & display collected data with eye-catching and insightful graphics.
    Learn More
  • 10
    Zephyr Project

    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.
    Downloads: 10 This Week
    Last Update:
    See Project
  • 11
    almond

    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, and vice versa. Almond exposes APIs to interact with Jupyter front-ends. Call them from notebooks… or from your own libraries. Several plotting libraries are already available to plot things from notebooks, such as plotly-scala or Vegas. Load the Spark version of your choice, create a Spark session, and start using it from your notebooks.
    Downloads: 10 This Week
    Last Update:
    See Project
  • 12
    Port of xboxhdm to support USB booting
    Leader badge
    Downloads: 135 This Week
    Last Update:
    See Project
  • 13
    IntelBluetoothFirmware

    IntelBluetoothFirmware

    Intel Bluetooth Kernel Extensions for macOS

    IntelBluetoothFirmware is a Kernel Extension that uploads Intel Wireless Bluetooth Firmware to provide native Bluetooth in macOS. The firmware binary files are from the Linux Open Source Project.
    Downloads: 9 This Week
    Last Update:
    See Project
  • 14
    The FreeDOS Project

    The FreeDOS Project

    FreeDOS is an open source DOS-compatible operating system

    FreeDOS is an open source DOS-compatible operating system that you can use to play classic DOS games, run legacy business software, or write new DOS programs. Any program that works on MS-DOS should also run on FreeDOS.
    Downloads: 39 This Week
    Last Update:
    See Project
  • 15
    PuppEX Forky/Noble/Trixie/Slack

    PuppEX Forky/Noble/Trixie/Slack

    PuppEX Forky/Noble/Trixie/Slack are remasters of Puppy Linux

    ABOUT PuppEX Forky64/Dev64/Noble64 - JWM/ROX/Mate/KDE Build 260128/260125/251014/251008 is made by me. Kernel 6.17.1-puppex/6.16.9-exton is used. Four PuppEX derivatives are built using the Forky/Trixie Build Script. COMPATIBLE WITH Debian 14/Devuan 5.0/Slackware 15.0, Debian 13 and Ubuntu 24.04 PuppEX Noble64 is compatible with Ubuntu 24.04. PuppEX Slack64 is compatible with Slackware 15.0. PuppEX Forky64 is compatible with Debian 14. The Noble64 ISO is of 930 MB. The Slack64 ISO is of 1360 MB. The Trixie64 ISO (3) is of 1410/943/856 MB. The Dev64 ISO is of 1640 MB. PuppEX Dev64 is compatible with Devuan 5.0 and Debian 12 (bookworm). The PuppEX Forky64 ISO is of 1220/1230 MB. PERFORMANCE All eight versions of PuppEX are running as fast as the original, which means they run very, very fast compared to most other Linux systems. (Puppy/PuppEX runs from RAM). Build your own Puppy! READ MORE: https://puppex.exton.se
    Leader badge
    Downloads: 83 This Week
    Last Update:
    See Project
  • 16
    exGENT 64 bit  Linux Live System

    exGENT 64 bit Linux Live System

    exGENT Live System is - as the name suggests - based on Gentoo Linux

    exGENT version 240201/240125 Linux Live System is - as the name suggest - based on Gentoo Linux. The best thing with exGENT is the premier auto detection of hardware and the ability to relatively easy install the system to hard drive during a live session. (Calamares Installer). LXQt 1.4 is used as Desktop environment. Used kernel: 6.7.1/6.1.67. exGENT runs on all "normal" and fairly new computers. They run very well also in VirtualBox/VMware. INSTALLATION The systems can easily be installed to hard drive and/or a USB flash drive in two ways. Using Calamares Installer (in version 240201) or an installation script in /root/install. The installation takes 5 - 20 min. (Depending on computer type). ROLLING DISTRIBUTION Gentoo/exGENT is a "rolling" distribution, which means that you can always get the latest software without reinstalling. Upgrade the system every month or so... WHO IS exGENT/Gentoo FOR? Experienced Linux users or those who really want to learn Linux.
    Leader badge
    Downloads: 51 This Week
    Last Update:
    See Project
  • 17
    IEEE 802.1d ethernet bridging (plus Spanning Tree protocol) for the linux kernel. Kernel code is in Linux 2.4 and 2.6 kernels.
    Leader badge
    Downloads: 228 This Week
    Last Update:
    See Project
  • 18
    AospExtended ROM

    AospExtended ROM

    An android custom ROM based on AOSP,which provides a stock experience

    AOSP Extended is an AOSP based rom which provides stock UI/UX with various customisations features along with the Substratum theme engine. The project has been made by cherry-picking various commits from various other projects. Being based on AOSP it provides a smooth and lag-free experience out of the box. We will constantly try to add more features and make it even better in future updates. A ROM by a user, for a user. #StayAOSP #ExtendYourDevice #BeExtended
    Downloads: 58 This Week
    Last Update:
    See Project
  • 19
    IJulia.jl

    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.
    Downloads: 8 This Week
    Last Update:
    See Project
  • 20
    elastic-jupyter-operator

    elastic-jupyter-operator

    Cloud-native way to provide elastic Jupyter Notebooks on Kubernetes

    Jupyter is a free, open-source, interactive web tool known as a computational notebook, which researchers can use to combine software code, computational output, explanatory text, and multimedia resources in a single document. For data scientists and machine learning engineers, Jupyter has emerged as a de facto standard. At the same time, there has been growing criticism that the way notebooks are being used leads to low resource utilization. GPU and other hardware resources will be bound to the specified notebooks even if the data scientists do not need them currently. This project proposes some Kubernetes CRDs to solve these problems.
    Downloads: 8 This Week
    Last Update:
    See Project
  • 21
    GeckoLinux

    GeckoLinux

    GeckoLinux is a set of live Linux spins built from openSUSE

    GeckoLinux is a Linux distribution based on openSUSE. I've used Linux on the desktop since approximately 2001. I have used many versions of openSUSE since the project's inception, and I used SuSE Linux before that. I've always appreciated openSUSE's flexibility and highly innovative infrastructure, but the profusion of "paper cuts" in the default configuration always made me think twice before recommending it to others. This projects sets out to change that.
    Leader badge
    Downloads: 207 This Week
    Last Update:
    See Project
  • 22
    The Fresh Project

    The Fresh Project

    Simply Awesome.

    The official home of Fresh, a One UI-based custom firmware for Samsung devices.
    Leader badge
    Downloads: 204 This Week
    Last Update:
    See Project
  • 23
    Linux on the Nintendo GameCube and Wii
    A port of the Linux operating system kernel and assorted GNU userspace to the GameCube and Wii gaming consoles from Nintendo. Please, see http://www.gc-linux.org for additional information.
    Leader badge
    Downloads: 48 This Week
    Last Update:
    See Project
  • 24
    Venom Linux

    Venom Linux

    Source based linux distribution

    Venom Linux is source based linux distribution build from scratch following KISS philosophy and targeting experienced users. https://codeberg.org/venomlinux
    Leader badge
    Downloads: 67 This Week
    Last Update:
    See Project
  • 25
    FarmBot OS

    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 with the Farmduino to send G and F commands and receive sensor and encoder data. Take photos with a USB or Raspberry Pi camera, and upload the photos to the web application. You must use a .img writing tool to write FarmBot OS onto the microSD card. We recommend downloading and installing balenaEtcher for this purpose.
    Downloads: 7 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB