Search Results for "set"

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

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

.... ************************************************************************************************************************ FreeRTOS is a market-leading real-time operating system (RTOS) for microcontrollers and small microprocessors. Distributed freely under the MIT open source license, FreeRTOS includes a kernel and a growing set of libraries suitable for use across all industry sectors. Visit https://www.freertos.org for more information and other download options. Note about support/discussions forum: The FreeRTOS support forum has moved to https://forums.freertos.org. Please update your bookmarks and create new posts in the appropriate category in the new community forums.

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.

A kernel for your device

VSPMS is the "Very Simple Project Management System", which is a cross-platform set of shell tools and aliases to establish and share project environment variables, aliases, documentation, and setup procedures.

...All software and interfaces are open allowing other users to add custom hardware, such as sensors and actuators for home automation. Also, a network connection is provided (WIFI optional) to allow mobile apps to communicate with the home thermostat to set and read values and/or control the home automation system.

Screens is an easy-to-use modular OS-like multi-platform API layer over your existing OS that allows developers to make applications for nearly every popular OS, whether it be Palm OS, PC, or PocketPC, with just one set of code.

SuperWaba is a Virtual Machine for handhelds. Runs in PalmOS, Windows CE, Win32, and is fully emulated under JDK/browser. Supports Exceptions, has a complete set of UI controls (Palm/WinCE), double and long, grayscale/color, sockets/serial/IR/Bluetooth

Kernel library is a complete set of interfaces of all the software components that constructs an operating system kernel, it is used to develop the os part of the e-government os (sourceforge.net/project/egovsh) sherifmagd@hotmail.com

The aim of our project is to create a portable microkernel and a set of OS services that allow good local performance, multiple concurrent operative system personalities (ie UNIX and a native interface) and easy integration of distributed components.

The Bella Operating System aims to use currently available source code as a bootstrap to create a new "Media Operating System" primarily aimed at mid to upperlevel emebbed devices, such as Set Top Boxes and Pocket PCs.

Maiden-core is a Linux kernel robotics API module, extensible in Erc. The Maiden Project also documents and develops the Maiden architecture for mobile robots, a set of (optional) designs and standards for robots using the Maiden-core API.

This is a library library for the handyboard (www.handyboard.com for a description), which can be used with the gcc m68hc11 compiler. The library has a somewhat different feature set from Interactive C but should be much faster.

The cache-optimized concurrent skip list is a set of algorithms for maintaining dynamic ordered mappings. Top-down balancing algorithms minimize cache-misses while using a per-node read-write spinlock to coordinate shared access. Designed for Linux 2.4.