Search Results for "void based linux"
Sort By:
37 projects for "void based linux" with 2 filters applied:
-
Cloud tools for web scraping and data extractionAutomate web data collection with cloud tools that handle anti-bot measures, browser rendering, and data transformation out of the box. Extract content from any website, push to vector databases for RAG workflows, or pipe directly into your apps via API. Schedule runs, set up webhooks, and connect to your existing stack. Free tier available, then scale as you need to.
-
Lightspeed golf course management softwareFrom tee sheet management, point of sale and payment processing to marketing, automation, reporting and more—Lightspeed is built for the pro shop, restaurant, back office, beverage cart and beyond.
-
1
The wolfSSL embedded SSL library (formerly CyaSSL) is a lightweight, portable, C-language-based SSL/TLS library targeted at IoT, embedded, and RTOS environments primarily because of its size, speed, and feature set. It works seamlessly in desktop, enterprise, and cloud environments as well. wolfSSL supports industry standards up to the current TLS 1.2 and DTLS 1.2, is up to 20 times smaller than OpenSSL, offers a simple API, an OpenSSL compatibility layer, OCSP and CRL support, is backed by...
-
2
mGSTEP
Objective-C embedded development libraries
Designed for use in embedded devices the mGSTEP libraries implement a subset of NeXT's OPENSTEP specification which has evolved into Apple's Cocoa Objective-C frameworks. The internal graphics rasterization supports rendering to an X11 or Linux frame-buffer based GUI. -
3
Active Object real-time OS
AO RTOS is small real time OS based on Active Object concurrency model
AO-RTOS is a pure object-oriented small footprint real-time operating system for embedded devices. The project is using Active Object (or Actor) concurrency model and finite state machine (FSM) design template as implementation base. -
4
HomePowerControl
Monitor and control your home and several energy sources
The motivation of this project is to monitor and control several energy-sources like wind generators or solar panels. It will develop to a full and low-cost smarthome-solution, but for now we started to capture the weather as a basis to calculate the efficiency of the energy-sources. The client-server architecture consists of several clients (ie. the weather-station, a station to measure the power consumption, the charge controller, rgb-controller for the lights, shutter controller, etc.)... -
Incredable is the first DLT-secured platform that allows you to save time, eliminate errors, and ensure your organization is compliant all in one place.Incredable streamlines and simplifies the complex process of medical credentialing for hospitals and medical facilities, helping you save valuable time, reduce costs, and minimize risks. With Incredable, you can effortlessly manage all your healthcare providers and their credentials within a single, unified platform. Our state-of-the-art technology ensures top-notch data security, giving you peace of mind.
-
5
P89 Serial Programmer
Program NXP P89V51RD2 from your favorite Unix system
P89 Serial Programmer (p89pgm) is a simple command-line based serial In-System Programmer for Philips (NXP) P89V51RD2 microcontroller. This programmer is designed to be minimal, and has no external software dependency. Supported input formats are Intel HEX and raw binary file. This programmer is designed for GNU/Linux and Unix-like platforms; but it also runs on Microsoft Windows as well, thanks to Cygwin porting library. -
6
BACnet for Dynamic C
BACnet stack for Rabbit 4000/5000/6000
This is a Dynamic C port of the BACnet stack at http://sourceforge.net/projects/bacnet. This BACnet library provides a BACnet application layer, network layer and MAC layer communications services for systems based on the Rabbit 4000, 5000 and 6000 processors. The rich feature set of the BACnet stack provides an ideal platform for developing Rabbit based control devices which can use the many BACnet tools out there to reduce the development time and effort. -
7
Terminal-BASIC
BASIC-like language interpreter for embedded systems
Terminal-BASIC is a BASIC-like language interpreter, works on a set of single board embedded systems (i.e. famous AVR uc based boards). Terminal-BASIC: * suports real numbers, multidimensional arrays and Darthmouth BASIC-style matrix operations; * written in C++11; * has modular structure (can save uc storage, instantiating only used modules); * works through different i/o devices, using vt100 commands; * on systems with multiple i/O devices can work as simple time-sharing system; * static Linux build for playing and debug; -
8
RKH - State Machine Framework
State machine framework for reactive embedded systems
RKH is a generic, flexible, modular, highly portable, ANSI-C compliant, and open-source development tool for implementing hierarchical state machines based on modern state machine concepts. This modern techniques are used to give an abstract description of the dynamic behavior of a system in a substantial manner. The RKH not implements neither entire UML specs. nor entire Statechart specs. Instead, the RKH intention is to support just enough basic concepts of that powerful tools to... -
9
NtdIsp
A system for programming LPC, STM32 and possible others devices.
This project provides three different interfaces for programming embedded chips: a GObject based library (for developers), an executable binary (for computer geeks) and a GTK+3 front-end (for less geeky users). Actually NXP LPC and STM32 based chips are supported. -
Dun and Bradstreet Risk Analytics - Supplier IntelligenceRisk, procurement, and compliance teams across the globe are under pressure to deal with geopolitical and business risks. Third-party risk exposure is impacted by rapidly scaling complexity in domestic and cross-border businesses, along with complicated and diverse regulations. It is extremely important for companies to proactively manage their third-party relationships. An AI-powered solution to mitigate and monitor counterparty risks on a continuous basis, this cutting-edge platform is powered by D&B’s Data Cloud with 520M+ Global Business Records and 2B+ yearly updates for third-party risk insights. With high-risk procurement alerts and multibillion match points, D&B Risk Analytics leverages best-in-class risk data to help drive informed decisions. Perform quick and comprehensive screening, using intelligent workflows. Receive ongoing alerts of key business indicators and disruptions.
-
10
MGSyn
MGSyn - Automatic Synthesis for Industrial Automation
MGSyn (Model, Game, Synthesis) is an open-source tool which integrates game-based synthesis into model-driven development for industrial control and automation. It is served for research and educational purposes. MGSyn has been originally developed by Department of Informatics (Unit 6), TU München and fortiss GmbH and is now maintained by fortiss GmbH. The software is released under the GNU General Public License Version 3.0 (GPLv3). Please download the tutorial for step-by-step... -
11
AnthillaOS
a linux based readonly image as appliance
Visit also: https://github.com/Anthilla/AnthillaOS For more updated Informations. Usable as test/dev exercise for appliances An x86 64bit gentoo image customized for readonly usage as appliances, fully functional and complete of more than 1000 pkg based on a gentoo+systemd distro. Hypervisor (kvm or xen) Storage (ZFS and Gluster) Container (Docker) Networking (iproute2, nftable, OpenVSwitch, Bird) Antd (http://www.anthilla.com/en/software/antd/ ) web based... -
12
Hydroponic Automation Platform (HAPI)
Technologies for automating food production on various scales
The Hydroponic Automation Platform Initiative (HAPI) develops and provides hardware and software components for automating food production using hydroponic, aquaponics, and precision agriculture techniques. High-yield production in urban settings is one of the primary goals. Artifacts include hardware design (mainly Arduino-based), firmware, management software and reporting modules. -
13
PCD – Process Control Daemon is a light-weight system level process manager, designed for Embedded Linux based products. The PCD is used for starting the system in a synchronized manner, control and monitor processes and recover from crashes.
-
14
ArdvtLedBoard
Arduino Based Driver for Advatel Ledboard
This is an Arduino Library for the Advatel TCD226R Ledboard (160 cols x 7 Rows Red Leds). This library allows several text transitions and includes a demo that supports both serial and SD Card input. -
15
itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information! !! YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools
-
16
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,... -
17
FreeOSEK RTOS
Project has been move to https://github.com/ciaa/Firmware
The project is not more active, we have fix a lot of issue and perform many improvements. These are now deliverd as part of a new project: https://github.com/ciaa/Firmware ---- FreeOSEK is a scalable solution for embedded system. FreeOSEK OS is based on OSEK RTOS specification (OSEK-VDX). visit us in: http://opensek.sourceforge.net -
18
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.
-
19
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. -
20
FRSH/FORB is a contract-based resource reservation framework for distributed real-time applications.
-
21
A C++ based lightweight, non-invasive SCA (Service Component Architecture) runtime. Optimized for the use in the embedded domain. We are proud to announce release 0.8 of Trentino Release 0.8 adds a major feature to Trentino. With Service discovery, configuration, deployment and operation of Services on devices is made simple and cost efficient.
-
22
The clash New Generation now focuses on making a versatile OS environment for embedded systems allowing users to customize the resulting platform into routers, firewalls, 3G gateways, access points, emergency rescue system or even diskless clients.
-
23
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. -
24
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
-
25
ArduSim
To be a practical Arduino simulator
ArduSim provides API level simulation of an Arduino. Arduino sketches can be run and debugged on PC with no modification. ArduGate is a sub-project of ArduSim. The agent sketch is shared.
