Open Source Python Operating System Kernels
Sort By:
Python Operating System Kernels
View 1999 business solutionsBrowse 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.
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
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. For the Desktop Environment we provide basic theming. In CachyOS-Hello can be also security related packages enabled, like: DNScrypt-proxy Firejail apparmor Security and Performance! https://discord.gg/qJqj94uFwE https://t.me/+zCzPX4cAFjk1MTY -
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
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
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. -
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
5
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 dataframes to a remote cluster (e.g. sending pretrained local ML model straight to the Spark cluster) Authenticate to Livy via Basic Access authentication or via Kerberos. -
6
-
7
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 -
8
What is DracOS GNU/Linux Remastered ? DracOS GNU/Linux Remastered ( https://github.com/dracos-linux ) is the Linux operating system from Indonesia , open source is built based on Debian live project under the protection of the GNU General Public License v3.0. This operating system is one variant of Linux distributions, which is used to perform security testing (penetration testing). Dracos linux in Arm by hundreds hydraulic pentest, forensics and reverse engineering. Use a GUI-based tools-tools the software using the CLI (command line interface) and GUI (graphical user interface) to perform its operations. Now Dracos currently already up to version 3.1.5 with the code name "KUNTILANAK WITH REMASTERED".
-
9
SulinOS
Indipendent distro uses inary package system. Sulin is roolling donkey
Sulin is rolling donkey Gitlab: https://gitlab.com/sulinos Github: https://github.com/sulinos Telegram: https://t.me/sulinos powered by donkey team -
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
10
EasyPeasy is a lightweight operating system for netbooks, designed for the Internet and low power consumption.
-
11
Lightweight Slackware modification. Desktop-centric applications built on up-to-date libraries and easy on hardware resources. Kinda Slackware without lots of work to start out...
-
12
This project has moved to: http://vger.kernel.org/vger-lists.html#linux-kbuild Here, you can find the old mailing list, files and website regarding: Linux kernel build. Patches, documentation, and auxilary programs related to the kernel configuration
-
13
LuninuxOS
LuninuxOS is a Debian/Ubuntu based Linux distribution.
A Linux operating system, designed and developed to be beautiful, simple, fast, and stable on many computer hardware. -
14
PixelBuilds
Latest Android builds from PixelBoot.
Builds and images, yet to be tested, both stable and unstable from several different custom ROMs, with different changes in source code for further experimentations to fix build bugs and issues. If installing on your own personal device, proceed with caution, and kindly follow instructions given by builder. -
15
Cub Linux
Chromium + Ubuntu = Cub Linux
The best of Chromium and Ubuntu. Cub Linux is a project to replicate the Chromium OS experience on an Ubuntu Linux base system. Cub Linux is free to download and use forever. -
16
SelikUP
Linux Kernel Updater
This program helps you update your Linux distribution's Linux kernel by downloading the kernel from the KERNEL main repository. -
17
ERP OS
It’s a Lubuntu based ERP OS. Get two ERP software preinstalled
It’s a Lubuntu based ERP OS. Get two ERP (ERPNext & Odoo) software preinstalled at once. All official free apps included with Odoo. Download file size is about 3.4 GB. Use password below if asked anywhere esite.pk Do remember to rate & review this project here on the SourceForge. Become my patron https://patreon.com/asakpke https://www.youtube.com/channel/UCmSdMtbVfU2vxpJrsOQGVJA?sub_confirmation=1 -
18
umi-project
Just bring Linux for a better world
U M I, pronounce "ou" "ème" "aie" to an approach of "you & I" expression, is meant to be a derivative of Ubuntu, a Linux distribution. U M I is a system that wants generalist, simple and tailored to your needs. M I perhaps as "Maths Infos", "Mission Impossible", "Micro Imagination", "Museum Incarnation", ..., "Mandela Ideologie", ...,"Magne Isapèt" :), ... ; but in reality M I for "Me Inside", inside Linux, inside Debian, inside Ubuntu. This project designates all logistics associated developments. The goal is to promote the development of secure and robust software combining beauty and elegance for Linux platforms . -
19
KaeilOS
Koan Advanced Embedded Industrial Linux Operating System
KaeilOS is an embedded linux GNU/GPL distribution composed of a collection of the best publicly available Open Source packages. Version 4.00 available since January 2009 has joined OpenEmbedded project offering a wider selection of packages and recipes. -
20
This project delivers Linux support (USB driver and Tools) for a Digital Signal Processor (DSP) cards of the Signal Ranger series, see http://www.softdb.com/product_dsp.shtml for details) connected to a Linux host via USB.
-
21
ubnhd2
A native, dual-bootable ubuntu for the HTC™ HD2 Phone (qsd8250 SoC)
ubnhd2 is a security and pentest focused ubuntu/debian system that runs natively on the HTC HD2 phone. To boot this you need the Magldr on your phone and the first FAT partition should be named "SD". The wifi drivers are not included check the Ubuntu HTC HD2 Section from forum.xda-developers.com/showthread.php?t=1975081 for more details. -
22
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. -
23
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.
-
24
HelenOS
A microkernel-based multiserver operating system written from scratch.
HelenOS is a portable microkernel-based multiserver operating system written from scratch. It decomposes key operating system functionality such as file systems, networking, device drivers and graphical user interface into a collection of fine-grained user space components that interact with each other via message passing. A failure or crash of one component does not directly harm others. HelenOS is therefore flexible, modular, extensible, fault tolerant and easy to understand. HelenOS does not aim to be a clone of any existing operating system and trades compatibility with legacy APIs for cleaner design. Most of HelenOS components have been made to order specifically for HelenOS so that its essential parts can stay free of adaptation layers, glue code, franken-components and the maintenance burden incurred by them. -
25
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.
