Search Results for "information technology"
Sort By:
25 projects for "information technology" with 2 filters applied:
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
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.
-
1
The wolfSSL embedded SSL library (formerly CyaSSL) is a lightweight, portable, C-language-based SSL/TLS library targeted at IoT, embedded, and RTOS environments primarily because of its size, speed, and feature set. It works seamlessly in desktop, enterprise, and cloud environments as well. wolfSSL supports industry standards up to the current TLS 1.2 and DTLS 1.2, is up to 20 times smaller than OpenSSL, offers a simple API, an OpenSSL compatibility layer, OCSP and CRL support, is backed by...
-
2
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. -
3
RT Schedule
A realtime-schedule generator for educational purposes
RT Schedule is a realtime-schedule generator to create and present simple and idealised RT schedules from task lists. The purpose is to compute the basic properties of a task set and create a schedule using the rate monotonic (RM), earliest deadline first (EDF) and least laxity first (LLF) algorithms. The program uses simple, idealised systems, since students must be able to schedule them manually. RT Schedule computes the data and generates clear graphs for lecture notes and exams. -
4
FXwm
A minimistic Linux window manager with css style config
Our take on a basic window manager for Linux which adheres to the philosophy of "do one thing and do it well." As a result, this window manager only manages windows and does not provide any supervision at all. Instead it relies on another program, such as wbar or web.de, to actually provide that functionality. And in order to keep administration to a minimum, there is only one config file that can be manipulated to change the appearance of the window chrome using css styled syntax. -
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
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
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... -
7
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... -
8
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...
-
9
CMAKE build enviroment for CMSIS MCUs
CMAKE build enviroment for LPC2000 and LPC17xx Cortex MCUs
The goal of project is to build CMSIS like environment for LPC2000 series MCU and to write RTOS for LPC2000 and Cortex Microcontrollers -
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.
-
10
PerLa project aims at defining a full declarative high level language that allows to query a pervasive system, hiding the difficulties related to the need of handling different technologies.
-
11
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! :-)
-
12
A Linux tool for the MikroElektronika (www.mikroe.com) AVRprog2 programming hardware. We have migrated to Github! https://github.com/avrprog2/avrprog2-code
-
13
itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information! !! YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools
-
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
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 -
16
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. -
17
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
-
18
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). -
19
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.
-
20
EmbeddedGUI is a GUI library for embedded system.It is much smaller than MiniGUI and can be easily transplanted to any RTOS.It provides many graphic functions and controls such as list and tree.LCD drivers are also included.Works with ARM7,ARM9,MSP430etc
-
21
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.
-
22
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.
-
23
This is an implementation of the ymodem protocol for serial transfer of data implemented using python.
-
24
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
-
25
A free/libre/open-source firmware library (previously known as libopenstm32) for various ARM Cortex-M3 microcontrollers, including ST STM32, Toshiba TX03, Atmel SAM3U, NXP LPC1000 and others. Sourcecode and bugtracker can be found at http://github.com/libopencm3
- Previous
- You're on page 1
- Next
