Search Results for "gnu science"
Sort By:
Showing 40 open source projects for "gnu science"
View related business solutions-
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.
-
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
1
ChibiOS/RT is a free and efficient RTOS designed for deeply embedded applications. It offers a comprehensive set of kernel primitives and supports many architectures: ARM7, Cortex-M0, Cortex-M3, Cortex-M4, PowerPC e200z, STM8, AVR, MSP430, ColdFire, H8S, x86.
-
2
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. -
3
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... -
4
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 . -
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
Android File Search
Show files on Android device
A new version has been uploaded. Filename is "filesearch4.apk". This new version allows to delete files, rename files, delete directories, rename directories, and view text files when the file extension is : txt, xml, htm, html, xsl, xslt, text, ascii, ini, asp, aspx, java, kt, cs, js, jsp, php, bat, css, csv, kml, svg (feel free to ask for more file extensions, that should be a setting in the application in the future). The application starts browsing from the internal storage of the... -
6
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 -
7
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).
-
8
AVRpal.NET
A Windows based GUI for popular avrdude command line utility
A Windows based GUI for popular avrdude command line utility for AVR microcontroller Programming.It has got many features with a lightweight easy to understand interface. AVRdude is provided with it. It previously used LibUSBdotnet but now it uses LibUSBK for compatibility(http://libusbk.sourceforge.net/UsbK3/index.html) .Supports only USBasp programmer but if you can code,you can change it to work with your programmer.Feedback is necessary friends -
9
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... -
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
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
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... -
12
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... -
13
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...
-
14
A Linux tool for the MikroElektronika (www.mikroe.com) AVRprog2 programming hardware. We have migrated to Github! https://github.com/avrprog2/avrprog2-code
-
15
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. -
16
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.
-
17
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,... -
18
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 -
19
ellakberry
Learning Linux, programming and embedded computer.
Ellakberry is a Slackware-based distribution. -
20
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. -
21
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.
-
22
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.
-
23
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... -
24
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.
-
25
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.
