Search Results for "research"
Sort By:
Showing 32 open source projects for "research"
View related business solutions-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
1
FreeRTOS Real Time Kernel (RTOS)
Market leading real time kernel for 40+ microcontroller architectures
************************************************************************************************************************ * The primary FreeRTOS repository is now in Git. Go to https://github.com/freertos for the latest FreeRTOS kernel and libraries. * Our support has moved to https://forums.freertos.org. ************************************************************************************************************************ FreeRTOS is a market-leading real-time operating system (RTOS)... -
2
WP 34s
Scientific/engineering firmware repurposing HP business calculators!
This project has created scientific firmware for the HP-20b and HP-30b business calculators. WP 34S turns either of these calculators into a powerful keystroke programmable scientific device. According to our customers, it's the most powerful and fastest RPN scientific pocket calculator ever built. WP 34S is alive and stable since 2011. We have succeeded in satisfying the most picky users - read about their experiences on http://www.hpmuseum.org/forum/forum-8.html. Since 2014, WP... -
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
Lightweight ext4 filesystem library
ext2/3/4 library for microcontrollers
Code is also available on github: https://github.com/gkostka/lwext4 Feel free to contact me: kostka.grzegorz@gmail.com -
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
5
freedomotic
Open IoT Framework
Freedomotic is an open source, flexible, secure Internet of Things (IoT) development framework, useful to build and manage modern smart spaces. It is targeted to private individuals (home automation) as well as business users (smart retail environments, ambient aware marketing, monitoring and analytics, etc). Freedomotic can interact with well known standard building automation protocols as well as with "do it yourself" solutions. It treats the web, social networks and branded frontends as... -
6
lpACLib
An Open-Source Library for Low-Power Approximate Computing Modules
...Besides our novel designs, it also contains implementations for several state-of-the-art arithmetic modules and their approximate versions. This open-source library facilitates research and development in approximate computing at higher abstraction levels, and to facilitate reproducible research and comparisons. In case of usage, please refer to our publication: Muhammad Shafique, Rehan Hafiz, Semeen Rehman, Walaa El-Harouni, Jörg Henkel, "Cross-Layer Approximate Computing: From Logic to Architectures", Design Automation Conference (DAC), 2016. ... -
7
autoCode4
Synthesizing embedded control software from formal specifications
autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures... -
8
COFILOS
A Development Framework for Coldfire
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... -
9
A Linux tool for the MikroElektronika (www.mikroe.com) AVRprog2 programming hardware. We have migrated to Github! https://github.com/avrprog2/avrprog2-code
-
Error to trace to log to deploy. One click. No SSH.AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
-
10
Serial Wire Debug (SWD) Open Library for low level Debug Access Port (DAP) on new ARM Cortex CPU devices. PROJECT HAS MOVED TO https://GitHub.com/CeDeROM/LibSWD PLEASE UPDATE YOUR LINKS! :-)
-
11
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. -
12
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,... -
13
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... -
14
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. -
15
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. -
16
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. -
17
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... -
18
A pure dynamic operating system for embedded devices, currently targeting wireless sensor devices, Lorien is unique in its core philosophy of building to evolve rather than simply building to abstract.
-
19
STM32 LWIP QPC Ethernet DPP
Quantum Leaps (QPC) DPP example with LWIP on STM3220G eval board
This is a port of the Dining Philosopher Problem (DPP) using the Quantum Leaps (http://state-machine.com) hierarchical state machine framework with the Light Weight IP (LwIP) network stack (http://savannah.nongnu.org/projects/lwip) and an ethernet driver implemented on the STM3220G-eval board (http://www.st.com/internet/evalboard/product/250374.jsp) running on stm32f207 Arm Cortex M3 uProcessor. The project is eclipse based and uses Code Sourcery cross compiler. See... -
20
DruidBSD is a FreeBSD micro-distribution that supports CD/DVD, USB, and HD booting into a Live BSD Distribution.
-
21
Mini Vezer OS (MVOS) is a minimal footprint simple embedded OS-like task scheduler implementing cross-task communication, primarily designed for the Freescale HCS08 microcontroller.
-
22
LabMonkey Embedded Automation Platform
Create networks of embedded devices for data logging/automation tasks.
LabMonkey is a collection of designs for embedded devices which can be networked together to provide a range of automation, data logging and signal processing functions. A key design objective is to use as little dedicated hardware as possible for communication between nodes in the network, and to be able to adapt the network topology in real-time so as to minimize the occurrence of collisions between packets. To achieve this, a protocol has been designed specifically for the task, and... -
23
....: filesystem, JMS, RMI, Smart-Spaces, etc.).Its plugin-based architecture allow users to develop and adopt thei own plugins and configure WSN fuse to better suit their needs. This project has been partially supported by the CHIRON EU research project co-financed by the artemis joint undertaking (http://www.chiron-project.eu/) .
-
24
AVRILOS
Simple AVR OS
A simple Embedded System Framework that allows rapid development of applications build for AVR family. System is based on a super-loop architecture with check and skip (no-wait) flag event driver system. Supports: UART, SysTick Timer, ADC, SPI, EEPROM, PWM. Also supports: Xilinx FPGA configuration, FPGA SSI interface, smart card reader etc. Tested partially (different modules in each case) on ATMega163/16/32/323/8. Awards CodeProject 2010, Third Prize, Hardware and Device... -
25
P O B I C O S - Platform for Opportunistic Behaviour in Incompletely Specified, Heterogeneous Object Communities (www.ict-pobicos.eu)
