Search Results for "linux software development" - Page 3

Showing 118 open source projects for "linux software development"

View related business solutions
  • Go from Code to Production URL in Seconds Icon
    Go from Code to Production URL in Seconds

    Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

    Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
    Try it free
  • Earn up to 16% annual interest with Nexo. Icon
    Earn up to 16% annual interest with Nexo.

    Access competitive interest rates on your digital assets.

    Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
    Get started with Nexo.
  • 1
    ...This exception does not however invalidate any other reasons why the executable file might be covered by the GNU Public License. The library is no longer under active development.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2

    AdaSNTP

    Simple Network Time Protocol in Ada

    AdaSNTP is an open-source implementation of the Simple Network Time Protocol in Ada, based on the code generator ColdFrame. The software is issued under the GPL Version 2 with the following additional permission: As a special exception, if other files instantiate generics from this unit, or you link this unit with other files to produce an executable, this unit does not by itself cause the resulting executable to be covered by the GNU General Public License. This exception does not...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada. The software is issued under the GPL Version 3 with the additional permissions granted by the GCC Runtime Library Exception version 3.1.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    GNAT Util Library

    Provides access to GNAT compiler internals for AdaCore utilities

    With GNAT GPL 2013, AdaCore have extracted internal compiler components into a library called gnat_util, which is used by (at least) ASIS and GNATColl. GNAT Util GPL 2013 contains components from the GNAT GPL 2013 compiler. At least for ASIS, the components used to build it must match the components in the compiler, so if building ASIS for use with (for example) FSF GCC 4.8.0 a version of GNAT Util is needed which contains components from FSF GCC 4.8.0. This project provides such a...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Try Google Cloud Risk-Free With $300 in Credit Icon
    Try Google Cloud Risk-Free With $300 in Credit

    No hidden charges. No surprise bills. Cancel anytime.

    Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
    Start Free
  • 5

    MinGW - Minimalist GNU for Windows

    A native Windows port of the GNU Compiler Collection (GCC)

    MinGW: A native Windows port of the GNU Compiler Collection (GCC), with freely distributable import libraries and header files for building native Windows applications; includes extensions to the MSVC runtime to support C99 functionality. All of MinGW's software will execute on the 64bit Windows platforms.
    Leader badge
    Downloads: 2,329,152 This Week
    Last Update:
    See Project
  • 6
    ColdFrame generates Ada framework code and documentation from UML models. The project has now moved to Github (https://github.com/simonjwright/coldframe). The software is issued under the GPL Version 2 with the following additional permission: As a special exception, if other files instantiate generics from this unit, or you link this unit with other files to produce an executable, this unit does not by itself cause the resulting executable to be covered by the GNU General Public...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7

    Cortex GNAT Run Time Systems

    Supports writing Ada software for Cortex-M3, M4F boards

    DEVELOPMENT OF THIS PROJECT HAS MOVED TO GITHUB, at https://github.com/simonjwright/cortex-gnat-rts This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due (http://www.arduino.org) and the STM32F4-series evaluation boards from STMicroelectronics (http://www.st.com). It is intended that releases will allow the development of proprietary software (by the use of the GCC Runtime Library exception for project-developed code, and by only using manufacturer’s software where the same permission applies).
    Downloads: 6 This Week
    Last Update:
    See Project
  • 8

    gnostic

    gnostic (or Ada gnostic) is Ada Generic Neural Objects System Engineer

    gnostic (or Ada gnostic) is Ada Generic Neural Objects System Engineering For Self Programming Process development with Ada.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Safir SDK Core

    Safir SDK Core

    For Truly Distributed Systems

    This is the home of the development of the Safir SDK Core open source platform.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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
  • 10
    AdaDoc is a tool for developers using the Ada programming language (currently Ada95). Its goal is to create documentation in different formats (XML, HTML, LaTeX, ...) from a package specification.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Discrete Event Gnu Advanced Scheduling for plug-in replacement of pthread compatible applications. Generates deterministic execution runs suitable for discrete event simulations and formal verification.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    ssprep is a tool that generates file-trees from a given set of templates. The intent is generation of project structures. The major design goals has been: * Simple. * Platform independent. * Configurable. * Recursive.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Experimental Compiler Library And Tools. Complete Ada 2005 compiler, written in Ada 2005 using literate programming techniques. Initially to target Bachar IA-32 v1 kernel for AdaOS (project 'bachar').
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    Xia1

    XPath In Ada

    An Ada implementation of nearly all of the XPath 1.0 specification.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    ASIS for GNAT
    ASIS (Ada Semantic Interface Specification) for GNAT on gcc. ASIS is a published international ISO standard (ISO/IEC 15291:1999). ASIS based tools are available as well.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Ahven

    Ahven

    Unit testing framework for Ada

    Ahven is a simple unit testing framework for Ada 95 programming language. The source code is fully portable and works with any Ada 95 (and also Ada 2005) compiler.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    The ARM-Ada project provide ravenscar runtime system and some useful libraries for deeply embedded applications written in gcc ada (gnat) language. For now RTS port for lpc21xx is done.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    It is (no stack based!) VM in a form of a library. It supports different language paradigms without data type restrictions, allows both interpretation and JIT, produces a fast code. Our goal - to have a GENERIC and POWER tool for code migration.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Codegroup

    Codegroup

    A Java application for transferring computer files in 5 letter groups

    Codegroup is a Java application that will allow one to convert binary (or text) computer files in to 5 letter codegroups for transmission over email, landline telephones, radioteletype or Morse Code. Codegroup has internal error correction & limited cryptography capabilities. Codegroup : ZZZZZ YBPIL AIAIG FMOPP CPAAA DGNGP GPGPA ADNJN ELJKO ELIMO GEOHF KIFGP IFBCB PKCPI YJMHE PHBHP PPOBH NCOHD AKLLL AGHFP DEGEF LKELC EAIJI ABAGP AHPPO IHHPH OHPDF YNFPB ALEPO KMPKP Once this...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Evex is an "Ada flavored", full-featured run-time expression evaluation library for Ada providing built-in mathematical and string manipulation operators and functions, run-time function definition, and application-provided function registration.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    ATI_SCOPE

    ATI_SCOPE

    Open Source Traffic Control Software

    SCOPE is an open source dual redundant traffic signal control environment that was funded by the U.S. Department of Transportation. SCOPE incorporates an open source traffic signal control program developed by Advanced Technologies, Incorporated. SCOPE has pre-timed and actuated control modes. In has min recall, max recall, gap out, max gap, and presence modes that include advanced traffic control concepts. SCOPE interfaces with both NEMA-TS2 and Intelligent Transportation Systems (ITS)...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Helena is an explicit state model checker for high-level Petri nets.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    C2Ada
    C2Ada is a translator from the C programming language to the Ada programming language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Simple, interface oriented input/process/output framework for Ada.
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB