Showing 16 open source projects for "tools"

View related business solutions
  • $300 Free Credits for Your Google Cloud Projects Icon
    $300 Free Credits for Your Google Cloud Projects

    Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

    Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
    Start Free Trial
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB 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.
    Start Free
  • 1
    F´

    A flight software and embedded systems framework

    F´ (or F Prime) is a software framework for the rapid development and deployment of embedded systems and spaceflight applications. Originally developed at NASA’s Jet Propulsion Laboratory, F´ is open-source software that has been successfully deployed for several space applications. It has been used for but is not limited to, CubeSats, SmallSats, instruments, and deployable. Component architecture with well-defined interfaces. To develop applications with F´, the following requirements of...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    QP Real-Time Event Frameworks & Tools

    QP Real-Time Event Frameworks & Tools

    Real-Time Event Frameworks based on active objects & state machines

    QP real-time event frameworks (RTEFs) provide lightweight, modern, event-driven architecture based on asynchronous Active Objects (Actors) and Hierarchical State Machines. The matching QM model-based design tool and other host-based tools complement the QP frameworks by supporting graphical modeling, code generation, software tracing, and unit testing for event-driven embedded software. Visit https://www.state-machine.com for more information. The QP RTEFs can run on bare-metal microcontrollers, replacing a traditional RTOS. The frameworks contain a selection of built-in real-time kernels (RTOS kernels), such as the cooperative QV kernel, the preemptive non-blocking QK kernel, and the unique preemptive, dual-mode (blocking/non-blocking) QXK kernel. ...
    Leader badge
    Downloads: 138 This Week
    Last Update:
    See Project
  • 3
    IpWay/HOST free Tcp/Ip Stack Library

    IpWay/HOST free Tcp/Ip Stack Library

    Real Time Tcp/Ip Stack Library

    ...IpWay/HOST is characterized by high portability, compact size, copyless feature (also for TCP applications) and Checksum offload. Moreover, IpWay offers a 100% compatibility with AUTOSAR MCAL versions 4.13 and 4.2.x. IpWayStudio is a free ARM development environment based on Open Source tools and components. It has been created in order to support the development of IpWay itself and is now available as a free download. Everything is required to start working with IpWay is encapsulated in a single download. It takes just two minutes to have your development board working with IpWay.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 4
    pFFh

    pFFh

    a self-contained development environment for embedded systems.

    pFFh is a programming language that allows you to launch applications on embedded systems safely, quickly and comfortably. pFFh runs on the target system, combining operation as a command interpreter and code compiler. We can say that pFFh behaves like an operating system on the board under development. All pFFh needs is a serial or USB-serial channel to communicate, and through it, receive and process console commands, either from a keyboard or from files sent from a desktop computer. At...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Error to trace to log to deploy. One click. No SSH. Icon
    Error to trace to log to deploy. One click. No SSH.

    Catch the cause before the pager goes off.

    AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
    Free 30 days.
  • 5

    BACnet for Dynamic C

    BACnet stack for Rabbit 4000/5000/6000

    ...This BACnet library provides a BACnet application layer, network layer and MAC layer communications services for systems based on the Rabbit 4000, 5000 and 6000 processors. The rich feature set of the BACnet stack provides an ideal platform for developing Rabbit based control devices which can use the many BACnet tools out there to reduce the development time and effort.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Tool to create SVF files from HEX files for Atmel microcontrollers, similar to the closed-source avrsvf.exe application available from Atmel. You should be able to compile the tool on any platform with a C compiler, like Linux, Mac OS X, FreeBSD.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    clzw

    clzw

    Implementation of LZW compression algorithm in C

    Simple, fast implementation of LZW (Lempel–Ziv–Welch) data compression algorithm in C. - Console encoder/decoder tools - OS independent - Could be used in embedded projects - Works with raw code-stream LZW features: - Hardcoded dictionary size - Variable code size - Code search is performed by hash table and embedded in dictionary linked lists (encoder) - No dynamic memory allocation
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    RKH - State Machine Framework

    RKH - State Machine Framework

    State machine framework for reactive embedded systems

    ...This modern techniques are used to give an abstract description of the dynamic behavior of a system in a substantial manner. The RKH not implements neither entire UML specs. nor entire Statechart specs. Instead, the RKH intention is to support just enough basic concepts of that powerful tools to facilitate the reactive-system modeling holding a solid, and efficient implementation. Broadly speaking, the RKH implementation has been designed from the ground up to be used in 8-bits platforms but can be easily adapted to 16 or 32-bits platforms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
     rims-arduino-library

    rims-arduino-library

    Recirculation infusion mash system library for Arduino

    This library implement RIMS controls for home brewers. For definition of a RIMS, see https://tinyurl.com/j3lyuyc For me, an Arduino micro controller + a LCD Keypad shield was cheaper and a lot more customizable than a commercial PID controller. So, with this library, a commercial PID controller is unnecessary. Automatic PID tuning toolkit is also included. Temperature can be read with a thermistor, a resistance temperature detector (RTD) or any custom temperature probe. Heater is...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You 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.
    Try free now
  • 10

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Em::Blocks STM32F4-Discovery USB CDC

    Em::Blocks STM32F4-Discovery USB CDC

    Template Virtual COM Port Project

    Template Em::Blocks project for the STM32F4-Discovery board as USB virtual com port. Using the standard peripheral library (not the new HAL). No board specific headers are used. Get the driver here: http://www.st.com/web/en/catalog/tools/PF257938
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12

    Akalon Embedded OS (RTOS)

    Embedded Real-Time Operating System (RTOS)

    Akalon is a Bare-Bones Embedded RTOS that's designed to be simple and portable to any Microprocessor or System (Board). Currently supports the Intel and ARM Architectures.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    YAKINDU Statechart Tools / itemis CREATE
    ...YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    JBernstein

    JBernstein

    JBernstein: Exploration techniques for non-linear constraint checking

    ...Concerning performance, the tool enables to check all examples in the PVS Bernstein testsuite within a second, which can be an order of magnitude faster than some other tools such as QEPCAD or REDLOG. Although JBernstein uses double, it offers automatic error-estimation capabilities (experimental) so that the generated result is correct (the solver may return unknown when the error-estimate is too large)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Teuton Preinstalled Environment (TPE)

    Teuton Preinstalled Environment (TPE)

    Alternative PE to rescue, hack or troubleshoot your machine or network

    TeutonPE is inspired by PortableApps.com combined with a PeBuilder compiled Boot USB / CD. Programs can be used, even when there is no OS installed. BB4win is used for Live Menu and as the default Shell.All Plugins are also BartPE & XPE compatible
    Downloads: 7 This Week
    Last Update:
    See Project
  • 16
    Средства разработки качественных программ в среде Siemens SIMATIC STEP7 (CPU300/400). Библиотека, утилиты, примеры. Quality sowtware development tools for Siemens SIMATIC STEP7.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
Auth0 Logo