Open Source Python Operating System Kernels for Windows

Tools and plugins related to bart's PEBuilder

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.

This package provides the IPython kernel for Jupyter. IPython provides a rich toolkit to help you make the most of using Python interactively.

Sulin is rolling donkey Gitlab: https://gitlab.com/sulinos Github: https://github.com/sulinos Telegram: https://t.me/sulinos powered by donkey team

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.

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.

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.

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.

iROS is a meta-operating system for technology-rich "interactive rooms". The core components (Event Heap, DataHeap, iCrafter) provide communication, data storage, and service management for an iRoom.

Agaseous-NES is a graphic app for creating integrated circuit layers. Developers can import Agaseous for SuperWikia Alpha .AJA (Agaseous Joint Application) text files to automate & create asauna plates. Also imports and intergrate Adobe .PSD files.

Beamology is the leading field of project management for SuperWikia Alpha semicom codesmiths. Its residency programs offer vital resources for SuperWikia vertical environment development and utilities needed for SA-VEC certification. Beamology residents are automatically licensed to access the Transcom system.

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....

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

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.

LogoROS is new object-oriented operation system (currently in early development). See wiki page: https://sourceforge.net/apps/mediawiki/logoros/ and development blog: https://sourceforge.net/apps/wordpress/logoros/ for more info.

PureEnergy is an organized file manager for SuperWikia Super Controller reactors which provide fluent access of each reactor's Sadeic files and other components of the native Super Controller Codec partitions. PureEnergy features IDE & SDK utilities.

This is the fifth or sixth generation of this idea, the big difference being that we have written some bootloader code and have started mapping out the kernel layout and structure. We have decided upon a core programming language for the kernel, and the core language for almost everything else. With a focus on isolating the MAJOR kernel features from the system itself, in what until now has remained research only instances, we hope to create a fully functioning exokerne. All code at this time will be available only via a git repository.

A Python library to create and deploy cross-platform native context. context_menu was created as due to the lack of an intuitive and easy to use cross-platform context menu library. The library allows you to create your own context menu entries and control their behavior seamlessly in native Python code. It's fully documented and used by over 80,000 developers worldwide.

DOGTOWN - Free Software & Tools for administrators ||| please read the Release Notes or docs @ http://dogtown.mare-system.de for a description of each package

We are currently developing our embedded TCP/IP modules, industrial ethernet systems and wireless platform for system control and data acquisition. Our main development environment is Linux and GNU tools like GCC (ASM, C, C++) and Python.