Search Results for "gnu science"
Sort By:
Showing 33 open source projects for "gnu science"
View related business solutions-
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.
-
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
OpenBLT
Bootloader for STM32, XMC, HCS12 and other microcontroller targets.
OpenBLT is mostly used as an STM32 bootloader, due to the popularity of STM32 microcontrollers. However, the bootloader’s architecture is such that it can work with any microcontroller and use any type of communication interface to perform firmware updates. -
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
A20_sdk
A simple armv7h sdk
This is my sdk for usage with slackware on A20 devices like bananapi, cubietruck and olimex-som. For more info see https://github.com/tjohann/a20_sdk . -
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 -
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.
-
5
PK2Aux is a library and suite of command-line utilities for using the Microchip PICkit2 programmer device for purposes other than programming (such as the generic pin controls, serial UART, and logic analyzer modes provided by the Windows software).
-
6
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... -
7
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... -
8
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... -
9
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... -
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
10
SmartSlog (Smart Space Ontology) is a software/application development kit (SDK or ADK) for programming Smart-M3 agents (Knowledge Processors, KPs) that consume/produce smart space content according with its high-level ontological representation. SmartSlog applies the code generation approach: given an OWL ontology description, the ontology programming library is produced. The latter provides API to access the smart space via a Smart-M3 Semantic Information Broker (SIB) and data structures...
-
11
A Linux tool for the MikroElektronika (www.mikroe.com) AVRprog2 programming hardware. We have migrated to Github! https://github.com/avrprog2/avrprog2-code
-
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
This project has been moved to GitHub, available on: <https://github.com/CELTAB/rfidmonitor>. This repository on SourceForge is no long going to be updated. --//-- This project aims to provide a software solution for the researchers of the Itaipu dam. The system is capable of reading data from the Texas Instruments hardware. It currently works on Linux x86_64 & arm.
-
14
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,... -
15
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 -
16
ellakberry
Learning Linux, programming and embedded computer.
Ellakberry is a Slackware-based distribution. -
17
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. -
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
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.
-
20
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... -
21
RTAI patch for ARM Cortex-A8 processors Please NOTE: The currently available patches are NOT for productive usage! They are snapshots of the porting process to give interested people a point to start with.
-
22
Specter - Abstract Arithmetics Library (AAL) is a library coded in native C which is able to do operations with numbers of virtually unlimited length. Specter is targeting mainly cryptography and big integer maths though.
-
23
P O B I C O S - Platform for Opportunistic Behaviour in Incompletely Specified, Heterogeneous Object Communities (www.ict-pobicos.eu)
-
24
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.
-
25
This project aims a proving an Hardware as a VSCP node (M2M) to store information remotely on the CAN network.
