Open Source Python Operating System Kernels - Page 2

Browse free open source Python Operating System Kernels and projects below. Use the toggles on the left to filter open source Python Operating System Kernels by OS, license, language, programming language, and project status.

  • Orchestrate Your AI Agents with Zenflow Icon
    Orchestrate Your AI Agents with Zenflow

    The multi-agent workflow engine for modern teams. Zenflow executes coding, testing, and verification with deep repo awareness

    Zenflow orchestrates AI agents like a real engineering system. With parallel execution, spec-driven workflows, and deep multi-repo understanding, agents plan, implement, test, and verify end-to-end. Upgrade to AI workflows that work the way your team does.
    Try free now
  • Auth0 for AI Agents now in GA Icon
    Auth0 for AI Agents now in GA

    Ready to implement AI with confidence (without sacrificing security)?

    Connect your AI agents to apps and data more securely, give users control over the actions AI agents can perform and the data they can access, and enable human confirmation for critical agent actions.
    Start building today
  • 1
    BlockSparse

    BlockSparse

    Efficient GPU kernels for block-sparse matrix multiplication

    The blocksparse repository provides efficient GPU kernels (TensorFlow custom ops) for block-sparse matrix multiplication and convolution operations. The idea is to exploit block-level sparsity — i.e. treat matrices or weight tensors as composed of blocks, many of which may be zero or unused — to save compute and memory when sparsity patterns are structured. This is particularly useful in models like Sparse Transformers, where attention matrices or intermediate layers may adopt block-sparse patterns to scale better. The repo implements both blocksparse and blockwise convolution/transpose-convolution primitives, with support for preparing, executing, and verifying those ops on NVIDIA GPUs. In addition to low-level kernels, it includes wrapper code for integrating with TensorFlow, example scripts (e.g. a transformer on the enwik8 dataset), transformer logic that uses blocksparse operations, and debugging helpers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2

    COFILOS

    A Development Framework for Coldfire

    Contains a framework for Coldfire MCUs like 52254. The framework supports a Command Line Interface (CLI) that may work from Serial port, USB or ENET. The framework uses Processor Expert and IDE requirement is MCU Eclipse 10.4 from Freescale. Includes the FunkOS Realtime Operating System by Funkenstein Software Consulting, available at http://funkos.sourceforge.net Mainly it is a support package for the development board Perseus, but I have ported also the RTOS to MCF52233DEMO board. More to come....
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    An open source project to hold cglinux test suites, which are mostly for CGL2.0 projects (some are already in each individual open source project). This is a centralized place for users to download, while, not for CGL certification or registration.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    It is a Uruguayan Linux distribution. Can be used from floppy disks, cdroom or you can install it in your hard disk. It has been designed to be fast and effective without leaving of side the graphical aspect for the user.
    Downloads: 0 This Week
    Last Update:
    See Project
  • The Most Powerful Software Platform for EHSQ and ESG Management Icon
    The Most Powerful Software Platform for EHSQ and ESG Management

    Addresses the needs of small businesses and large global organizations with thousands of users in multiple locations.

    Choose from a complete set of software solutions across EHSQ that address all aspects of top performing Environmental, Health and Safety, and Quality management programs.
    Learn More
  • 5
    CompactBSD is a powerful set of tools that allow you to build your own customized, lightweight distribution of OpenBSD and then burn it onto compact flash so that it can be run on an embedded PC platform such as FatPort's FatPoint (www.fatport.com)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    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: 0 This Week
    Last Update:
    See Project
  • 7
    DWIP is short for Disk Wiping and Imaging Tool. This tool is being built for Mississippi State Universities National Forensics Training Center for use on a live cd to give out to it's students.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Dark Rose OS
    Entirely source-based system. The goal is to provide extremely flexible but easy-to-compile Linux-like OS ready for SSI clusters. Installation procedure is network-independent and automated.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9

    Debian Unstable/testing alpha.

    Pre-Alpha Console distro for high performance Linux computing.

    Basic Debian INTEL/AMD HPC console/desktop multi purpose. Linux for software devs/QA and thin laboratory clusters. MIC hardware, NUMA and live network memory and full IPv6 are supported. Final alpha release features: ======== * Usb image * General debian repos * VM optimizations * Hugepages by default * CGROUPs optimized by default * ALSA * Latest Debugging / Baremetal kernels * Full Haswell and MIC support in test * Full optimized python support * Full optimized perl support * Java compliance * IPv6 full stack with IPsets * Multipath storage * Overclocking tools * Student/Developer scripts. (git pull, builders) * i915 latest support drivers and gallium. * Kernel patching, testing featurettes * Wi-Fi and bluetooth ipv4 support * Latest GCC versions * Qt, Java, Maven, Desktop improvements Notes ==== Basic Console Pre-alpha build Test and rate for improvemen
    Downloads: 0 This Week
    Last Update:
    See Project
  • Leverage AI to Automate Medical Coding Icon
    Leverage AI to Automate Medical Coding

    Medical Coding Solution

    As a healthcare provider, you should be paid promptly for the services you provide to patients. Slow, inefficient, and error-prone manual coding keeps you from the financial peace you deserve. XpertDox’s autonomous coding solution accelerates the revenue cycle so you can focus on providing great healthcare.
    Learn More
  • 10

    Enterprise

    Tool intended to help the process of booting Linux on Intel Macs.

    Enterprise is a custom UEFI bootloader designed to load Linux distributions directly from ISO files on Apple Mac computers (even those without UEFI booting support). It is designed to compliment Mac Linux USB Loader, though it can also be used separately (albeit with some setup work). The purpose of Enterprise is as the first stage in a two-stage booting process for Mac Linux USB Loader-created USB drives. Essentially, Enterprise loads GRUB, giving it configuration settings and the location of necessary files inside of the desired ISO, and then the distribution is booted. Enterprise will soon support booting multiple distributions, so you can have more than one distribution per USB stick. This way, you can test out multiple distributions.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    FreeOS/1
    FreeOS/1 is a Free, Open Source, FreeDOS based Free and Open Source Alternative OS, with open source Microsoft Windows compatibility using HXDOSExtender KernelEx,and ReactOS source code. FreeOS/1 will include new technologies and will be easy to use
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Fulcon-VirtualPlatform

    Fulcon-VirtualPlatform

    Fulcon can generate full OS environment to the container like the VM.

    - It is container generable in the image of Docker (CentOS or Ubuntu image). - The generated container can be operated while maintaining it at a long term. - The resource of CPU, the memory, and IO of the container can be dynamically updated. - Arbitrary IPl address can be added and be deleted dynamically the container. - The package of two or more containers can be collectively updated from the host.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Genode OS Framework

    Genode OS Framework

    Tool kit for building highly secure special-purpose operating systems

    *** Genode migrated to https://github.com/genodelabs/genode *** The Genode OS Framework is a tool kit for building highly secure special-purpose operating systems. It scales from embedded systems with as little as 4 MB of memory to highly dynamic general-purpose workloads. Genode is based on a recursive system structure. Each program runs in a dedicated sandbox and gets granted only those access rights and resources that are needed for its specific purpose. Programs can create and manage sub-sandboxes out of their own resources, thereby forming hierarchies where policies can be applied at each level. The framework provides mechanisms to let programs communicate with each other and trade their resources, but only in strictly-defined manners. Thanks to this rigid regime, the attack surface of security-critical functions can be reduced by orders of magnitude compared to contemporary operating systems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Glazier

    Glazier

    A tool for automating the installation of Windows OS

    Glazier is an automation framework developed by Google for deploying and managing Windows operating systems at scale. It streamlines the entire Windows imaging process by booting systems into the Windows Preinstallation Environment (WinPE), retrieving installation instructions from a web server, and automatically applying operating systems, software, and configurations. The tool is fully text-based and code-driven, with configurations written in YAML, allowing teams to leverage source control for versioning, collaboration, and quality assurance. By distributing installation data via HTTPS, Glazier ensures scalability and flexibility, supporting both simple local servers and large-scale cloud-based deployments. Its extensibility makes it easy for administrators to create custom actions using Python or PowerShell, enabling tailored automation for diverse enterprise environments. Designed for engineers, Glazier emphasizes repeatability, maintainability, and transparency in Windows.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Hawaii

    Hawaii

    Wayland/QtQuick based OS with incremental updates and bundles

    Hawaii is a desktop operating system built on the GNU/Linux stack with a new lightweight and fast Wayland desktop environment written with QtQuick and deeply integrated with systemd. Hawaii delivers incremental and atomic updates which gives users to ability to rollback the whole system to a known good state if a regression happens.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16

    KMG Kernel Module Configurator

    A minimal python GUI that helps to manage modules in a linux system.

    KMG helps you to manage: activation/disactivation of modules startup list blacklist and it has an unique feature: it can save a snapshot of the system's modules configuration and restore it later. All the actions are traced in a dedicated log section. The GUI also gives details on the selected module.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    This tools will automagically configure the linux kernel, detecting hardware and used sotware protocols. The project will be (maybe) included in kernel 2.5, with the new CML2. We provide also a stand-alone tool to configure 2.4.x kernels.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    LMSFM Linux

    LMSFM Linux

    Musician-oriented Linux distro

    Let's Make Some F*&^in' Music is a USB-based live Linux distro based on Slackware with the intent of providing a comprehensive music recording and production studio using only FOSS.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    LinSIeVe is a System Integrity Verifier for Linux kernel code and read-only data.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Linux Bash Made Simple

    Linux Bash Made Simple

    Based on Python 3

    This tool is designed to help Linux beginners to work with Linux Bash easily. It is written in Python 3. The default username is "tux" The default password is "linux"
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    DefconfigManager is too to generate consistent Linux Kernel defconfig for different architectures and machines. It is based Kconfiglib, Python library to parse Kconfig's and defconfigs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Making kernel upgrades easyer for everyone.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    LinuxCNC
    LinuxCNC controls CNC machines. It can drive milling machines, lathes, 3d printers, laser cutters, plasma cutters, robot arms, hexapods, and more.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    LinuxTLE

    LinuxTLE

    LinuxTLE (Revival)

    LinuxTLE(Linux Talay) is the legendary Thailand Linux Distribution lost technology from NECTEC. Now, reborn out of demise, LinuxTLE has finally build the 11.0 version code named "Cha-Am" revived the dead project by the mysterious successor. Shifted from GNOME2 into Mate Desktop which supported both Thai & English languages. LinuxTLE 11.0 currently based from Ubuntu 16.04 LTS. There will be also Debian 9.0 based build soon. "Talay(ทะเล)" means "The Sea" pronounced in Thai languages. Refer: - https://distrowatch.com/table.php?distribution=linuxtle - https://en.wikipedia.org/wiki/LinuxTLE - https://th.wikipedia.org/wiki/ลีนุกซ์ทะเล Installation: - Recommend burn with DVD - Currently x64 iso - Use "Refracta Installer" inside "System Tools" category from start menu. - CD Username: user - CD Password: root Note: To get the same desktop as CD. Please install with the current user & root password & change them after installed.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Liye OS is an Operating System for the Nintendo DS. It is currently in the planning stage.
    Downloads: 0 This Week
    Last Update:
    See Project