Search Results for "void-linux" - Page 5
Sort By:
Showing 200 open source projects for "void-linux"
View related business solutions-
Outgrown Windows Task Scheduler?Windows Task Scheduler wasn't built for complex, cross-platform automation. Get a free diagnostic that shows exactly where things are failing and provides remediation recommendations. Interactive HTML report delivered in minutes.
-
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.
-
1
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance,... -
2
ztex is a Firmware Kit with a corresponding Driver API for EZ-USB based hardware. The Firmware is written in C and assembled using a powerful macro processor. The Driver API allows the development of platform-independent device drivers.
-
3
CLOCK 3W
CLOCK 3W Library for Arduino (by FRIENDLY ELECTRONICS)
CLOCK 3W is a library for Arduino that helps you interact with CLOCK 3W timekeeping module (made by FRIENDLY ELECTRONICS) or any other module based on DS1302 chip. -
4
ADS1115 I2C XBee
ADS1115 component for XBee Codewarrior
The project's main goal is to create a component, capable of being added to Freesacle's Codewarrior environment with XBee stack, in order for adding a complete implementation of the ADS1115 functionalities to Digi's XBee radios -
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
5
micrOSEK
Hard Real-Time OS compliant to the Osek/Vdx standard.
Microsek is an INTECS OpenSource Hard Real-Time and Networked Operating System compliant to the Osek/Vdx standard and suitable for the development of Embedded Real-Time Applications. -
6
OOBD supports a self-programable Tool for Vehicle Onboard Diagnostics (OBD) for various platforms like the Windows-Desktop, mobile Phones and Smartphones Please note that we are actual moving this project over to oobd.googlecode.com. The software source code repository is already moved, other areas will follow.
-
7
FRSH/FORB is a contract-based resource reservation framework for distributed real-time applications.
-
8
SERiaM
Unified desktop and embedded Serial port API
A simple API, written in C, for accessing the Serial ports in a consistent way across Multiple desktop and embedded platforms. This has allowed programs for embedded devices to be mainly developed on the desktop, where test and debug is much easier. It can also be used to write serial port programs that are portable across different desktop platforms. -
9
avr_pcd8544_driver
AVR driver for driving PCD8544 based 84x48 dot-matrix displays.
Checkout the documentation included in the project for details. -
Atera all-in-one platform IT management software with AI agentsAtera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
-
10
AquaPiPi
Fresh water reef thank controller.
WARNING: DRAFT VERSION FOR HARDWARE TEST PURPOSE! The intend of this project is mainly to control a 5 channel LED light and to remotely monitor the LED heatsink and water temperature. The LED light simulate random cloud, random lightning during cloud and also manage sunrise and sunset. The system is composed of an Arduino mega 1280, an ethernet shield w5100, an LCD keypad shield 1602, a 3,2" TFT touchscreen, a RTC module DS1307 and 3 DS18B20 one wire temperature sensor. Up and... -
11
openAut
Open Source Hardware For Industrial Automation
This project is aimed at producing open source hardware for real time use in industrial automation. This project will have a few sub-projects that will focus on individual hardware for various industrial purpose. Some of the sub-projects will be of type Field-IO Modules development, Analog-IO Module development etc. -
12
dasm430
A disassembler and a simulator for the MSP430 CPU
...Licensed under the Simple Public License (SimPL) 2.0. For full license information, please read license.txt. Compiled executables are available for Windows and Mac OS X. Linux users will have to compile their own binaries. Instructions for compilation are included in README.txt. A Qt-based GUI is available for sim430. Binaries only for OS X, for now. Source files can be found in src/qt folder. -
13
lpcprog
LPC214x FTDI(UART) programmer
-
14
Platform providing the support for Wireless Sensor Networks in the domain of Natural Hazards as a Service. The objective of the WSN platform is monitoring the behaviour of rockfall barriers, rockfall netting, rock sheds and other protection systems
-
15
microDispatch
Microcontroller Task Scheduler
Super lightweight task scheduler aimed at 8 bit AVR ATmega micro-controllers (perfect for Arduino), although it can easily be used on other hardware like Microchip PIC. It uses simple round-robin scheduling so no priority levels can be set. You choose the time interval by calling dispatchTick(), this is usually in a timer interrupt. Range for number of tasks: 0 to 255 tasks Range for delay: 0 to 65535 ticks Each task only uses 5 byte of RAM. The one task LED blink example only uses... -
16
yanftl
Yet another nand flash translation layer
I write this code couple years ago, now I cut it out for an independent project, hopping it will help people to understand what a FTL is and how to design it. This project is not test enough, if you want to use it in you onw project, I am glad to help, please feel free to contact LaiZhefeng@gmail.com. -
17
bmp2rle
Encode bitmap(bmp) file with run-length encoding
Encode bitmap(bmp) file with run-length encoding(RLE), just like RLE4 and RLE8, but extend to RLE16, RLE24 and RLE32. Usually, this project will be used in GUI of embedded system, to make the image files smaller, and save the IO bandwith. If the GUI support JPG or PNG, the compression ratio is much better than RLE, but how about the embedded system encounters both caculate limitation and IO bandwidth limitation? Try this project, I hope it can make a banlance between caculation and... -
18
-
19
ArduEMS-328
Arduino Engine Management System
This project is based on the original open source MegasquirtAVR, which became the closed source commercial product known as VEMS. There is a full copy of the original website in the Downloads section. It has the same features as Megasquirt 1 and can be tuned in MegaTunix, MegaTune or TunerStudio as a Megasquirt 1 B&G2.0-3.0. The code is compiled for the ATmega328p so the supported boards should be: - Arduino Uno - Arduino Duemilanove - Arduino Diecimila - Arduino NG - Arduino... -
20
ONE-NET Low Power Wireless Protocol
ONE-NET is an open-source low power wireless networking protocol.
ONE-NET is both an open standard and an implementation of a wireless network protocol. The protocol was originally intended for home automation but has many more applications where low power, secure communications are required. -
21
MSP430-Ada
Ada compiler support for TI MSP430 processors
Compiler and device support for Ada programs on the ultra-low-power TI MSP430 microcontrollers. This project builds on the Gnu Gnat/GCC Ada compiler, the Sourceforge mspgcc back-end and MSP430 CPU support. It was inspired by the Sourceforge AVR-Ada project. -
22
qtOS
Tiny operating system for running HCFSM-based systems
qtOS is an operating system for running systems of finite-state machines. The system kernel is a task scheduler that runs processes' transitions at every cycle. Each task is activated either to be run in parallel (fork) with other active processes in the system or subordinated to the caller task, thus blocking it and creating a hierarchy of tasks. Execution of processes can be preemptive or non-preemptive and, among those with the same priority, a round-robin turn is performed. This... -
23
Third party open source drivers for the Mindstorms NXT programming environment RobotC. Most sensors available to the NXT platform are supported as well some additional ones. Refer to the Release Notes for more details.
-
24
This project provides the firmware and software add-ons for the capacitive touch demo board with TFT available from embmore GmbH.
-
25
Firmware for AVR/ARM target boards based on the Elektor Internet Radio and Atmel's Internet Radio AN. The Radio connects to SHOUTcast/Icecast servers and uses VS10xx chips or the Helix decoder. A HTTP server and simple LCD IF is included.
