Search Results for "python source codes"

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

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.

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

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

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

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

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.

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.

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.

This project focus on creating an original alternative 32-bit operating system for Intel 80386 compatible processors made in NASM (The Netwide Assembler). The main goal is to be, a simple and pratical plataform for developpment and plug in extra codes.

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.