Search Results for "gnu/linux" - Page 3
Sort By:
118 projects for "gnu/linux" with 2 filters applied:
-
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.
-
Earn up to 16% annual interest with Nexo.Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
-
1
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,... -
2
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 -
3
OnPosix
C++ library for POSIX systems.
OnPosix is a minimal C++ library that allows to speed-up development on embedded Posix platforms (e.g., Embedded Linux). Code available at https://github.com/evidence/linux-onposix -
4
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.
-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
5
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. -
6
OOBD supports a self-programable Tool for Vehicle Onboard Diagnostics (OBD) for various platforms like the Windows-Desktop, mobile Phones and Smartphones Please note that we are actual moving this project over to oobd.googlecode.com. The software source code repository is already moved, other areas will follow.
-
7
fslurp
Fronius data tool for Linux
...Sample output can be seen by building project and exercising one of the test simulator targets (e.g. simIFCEasy). It is written in C++ and has been compiled on Linux. -
8
SERiaM
Unified desktop and embedded Serial port API
A simple API, written in C, for accessing the Serial ports in a consistent way across Multiple desktop and embedded platforms. This has allowed programs for embedded devices to be mainly developed on the desktop, where test and debug is much easier. It can also be used to write serial port programs that are portable across different desktop platforms. -
9
FRSH/FORB is a contract-based resource reservation framework for distributed real-time applications.
-
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
10
Linux for Beagleboard-xm
A Tailored Small Linux for Beagleboard-xm
Beagleboard-xm is a powerful chip with a cortex-A8 CPU and a DSP. I have the plan to build an OCR gadget using it with Linux. As a by product I will post my tailored Linux kernel and u-boot, and all relevant stuff here, from now on. I was shocked by the blocking of Chinese citizens from accessing some of the contents on sourceforge. I deeply regret the outrageous action initiated, even though I fully understand the reasoning behind it. -
11
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.
-
12
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.
-
13
openAut
Open Source Hardware For Industrial Automation
This project is aimed at producing open source hardware for real time use in industrial automation. This project will have a few sub-projects that will focus on individual hardware for various industrial purpose. Some of the sub-projects will be of type Field-IO Modules development, Analog-IO Module development etc. -
14
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. -
15
lpcprog
LPC214x FTDI(UART) programmer
-
16
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
-
17
SC-REX
Scheduler for reconfigurable hardware
SC-REX stands for "SCheduler for REconfigurable devices on linuX". It is a scheduler for heterogeneous multicore platforms where some cores can be dynamically reconfigured at run-time (e.g., VLIWs processors that can change issue width). -
18
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. -
19
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. -
20
C Program Foundation
Suite of Linux libs: logger, collections, shared memory lib
Includes: Shared Memory Library Library intended to ease the communication task between the processes. The main idea is that a user can create one or more shared memory areas where the programs exchange data. They can be aware of data changes by making pools in a while loop. Every access to the shared zone is conditioned by acquiring a semaphore lock. Data in the memories can be easily saved to a file. Each method is thread safe so... -
21
smartCOMs
smartCOM is a graphical serial device terminal.
smartCOM is a graphical serial device terminal, it's an alternative to minicom. It is aimed mainly at hardware developers who need a gui test tools to talk to their custom hardware. The GUI is written using the wxWidgets library, and using the tinyxml to save or load config. http://gnssinfo.com/2012/11/21/wiki-smartcom/ -
22
DruidBSD is a FreeBSD micro-distribution that supports CD/DVD, USB, and HD booting into a Live BSD Distribution.
-
23
BASIC interpreter for the 16bit PIC microcontroller 24FJ64GA002. The interpreter runs on the chip only, no compiler/tokenizer is needed. Communication with PC is done by USB-to-serial converter cable.
-
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
SpiffChorder
FW and HW design for a 7-key chording keyboard
Spaceman Spiff's Chording Keyboard Experiment (or SpiffChorder for short) is an experimental platform for creating a USB chording keyboard. A chording keyboard or Chorded keyboard is an input device where characters can be typed by pressing multiple keys at the same time. A popular design is the 7-key chorder, where one key is used for each of the index finger, middle finger, ring finger and pinky, and 3 keys for the thumb. This can be used with either the left or right hand (or a chorder...
