Search Results for "gnu science"
Sort By:
Showing 19 open source projects for "gnu science"
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.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
1
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... -
2
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 -
3
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... -
4
lpACLib
An Open-Source Library for Low-Power Approximate Computing Modules
The “lpACLib” library contains the VHDL description of accurate and approximate versions of several arithmetic modules (like adders and multiplier of different bit-widths) and accelerators. Moreover, it also provides the corresponding software behavioral models/implementations developed in C and MATLAB to enable quality characterization. Besides our novel designs, it also contains implementations for several state-of-the-art arithmetic modules and their approximate versions. This open-source... -
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.
-
5
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... -
6
A Linux tool for the MikroElektronika (www.mikroe.com) AVRprog2 programming hardware. We have migrated to Github! https://github.com/avrprog2/avrprog2-code
-
7
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. -
8
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,... -
9
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. -
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
10
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.
-
11
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.
-
12
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... -
13
P O B I C O S - Platform for Opportunistic Behaviour in Incompletely Specified, Heterogeneous Object Communities (www.ict-pobicos.eu)
-
14
This project is about enhancing user experience in wireless 802.15.4 chips through open source programmer, bootloader, flashing over the air, and viral flashing over WSN. Current development is done over CC2430 and STM32.
-
15
This project aims a proving an Hardware as a VSCP node (M2M) to store information remotely on the CAN network.
-
16
-
17
Open source data logger focused on the wind industry. Hardware platform based on the TI MSP430, firmware written in C using mspgcc. Sponsored by the Wind Energy Center at the University of Massachusetts, Mechanical and Industrial Engineering.
-
18
Weeno is an software-only extension of Wiring / Arduino for potentially all and any Atmel AVR MCUs. And potentially all chip architectures from all companies, whether Freescale, SiLabs, TI, even ARM. Basically, the goal is to make AVR-Weeno, ARM-Weeno, 8
-
19
This project is about using a SD-card together with an ATMEL ATmega32 microcontroller as mass storage medium. It implements the interface to the SD-card, a simplified FAT16 filesystem and a sample application: a data logger.
- Previous
- You're on page 1
- Next
