Showing 111 open source projects for "development"

View related business solutions
  • Outgrown Windows Task Scheduler? Icon
    Outgrown Windows Task Scheduler?

    Free diagnostic identifies where your workflow is breaking down—with instant analysis of your scheduling environment.

    Windows Task Scheduler wasn't built for complex, cross-platform automation. Get a free diagnostic that shows exactly where things are failing and provides remediation recommendations. Interactive HTML report delivered in minutes.
    Download Free Tool
  • 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
  • 1

    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: 5 This Week
    Last Update:
    See Project
  • 2

    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
  • 3
    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
  • 4
    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: 1 This Week
    Last Update:
    See Project
  • AI-generated apps that pass security review Icon
    AI-generated apps that pass security review

    Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.

    Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
    Try Retool free
  • 5
    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
  • 6
    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
  • 7
    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
  • 8
    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: 1 This Week
    Last Update:
    See Project
  • 9

    Xia1

    XPath In Ada

    An Ada implementation of nearly all of the XPath 1.0 specification.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Atera all-in-one platform IT management software with AI agents Icon
    Atera all-in-one platform IT management software with AI agents

    Ideal for internal IT departments or managed service providers (MSPs)

    Atera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
    Learn More
  • 10
    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: 2 This Week
    Last Update:
    See Project
  • 11
    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
  • 12
    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
  • 13
    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
  • 14

    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
  • 15

    C.Y.O. Adventures, text game generator

    Text-based adventure game creator and player. Comes with demo games.

    C.Y.O. Adventures is an Ada 2005 compatible text-based game player and game generator. The games are structured as "decision trees." You can choose options at each game branch to decide the path you want to go in the game. There are several games included in the "games" directory. Users can generate their own text-based games with the program. Please upload any games you make to the open source collection, if you want to share your games with others!
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Helena is an explicit state model checker for high-level Petri nets.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    C2Ada
    C2Ada is a translator from the C programming language to the Ada programming language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Simple, interface oriented input/process/output framework for Ada.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Posix for GNAT
    Florist is an open-source implementaton of IEEE Standard 1003.5b-1996, the POSIX Ada binding, including real-time extensions and a test suite.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 20
    GLADE for GNAT
    Providing an up to date implementations of Annex E (Distributed Systems) of the ISO standard ISO/IEC 8652:1995/COR1:2000 for GNAT.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Ada framework providing work sharing/seeking services for distributing work amongst CPU cores on multi-core machines.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Develop a set of Ada bindings to the Open Sourced Enea Linx drivers for Linux.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    SPARKUnit is a unit test framework for the SPARK programming language. It enables developers to create unit tests which can be analysed by the SPARK Examiner. This allows for testing of operations with preconditions and flow analysis of test cases.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    The objective of CairoAda is to develop an Ada 95/05 binding for Cairo and certain related libraries.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    The Widget Set for Super-Light Applications is a minimalist GUI toolkit written in Pascal. Rendering backends include Xlib, SDL and DirectFB. Visit our trac wiki for more information and updates: http://sourceforge.net/apps/trac/wiseslap
    Downloads: 0 This Week
    Last Update:
    See Project