Search Results for "ada"

x
Sort By:

Showing 7 open source projects for "ada"

View related business solutions
Software Development Java Clear Filters & Widen Search
  • 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
  • Compliant and Reliable File Transfers Backed by Top Security Certifications Icon
    Compliant and Reliable File Transfers Backed by Top Security Certifications

    Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.

    Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
    Start Free Trial
  • 1

    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
    223 Reviews
    Downloads: 2,135,841 This Week
    Last Update:
    See Project
  • 2
    ABTools provides an open environment based on ANTLR and Java and provides some facilities for design and test the B language and somes extensions. ABTools est un environnement de développement base sur ANTLR et Java. Il permet de manipuler le langag
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    jWords is a port of WORDS (by William Whitaker, a free latin-to-english dictionary program written in Ada), to Java. Besides the dictionary will be translated to the German language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Ada for Netbeans
    Ada IDE based on NetBeans. See http://wiki.netbeans.org/Ada for more details.
    1 Review
    Downloads: 0 This Week
    Last Update:
    See Project
  • 99.99% Uptime for MySQL and PostgreSQL Databases Icon
    99.99% Uptime for MySQL and PostgreSQL Databases

    Sub-second maintenance. 2x read/write performance. Built-in vector search for AI apps.

    Cloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
    Try Free
  • 5
    The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    A new Eclipse Plugin for ADA developpement. For the moment the plugin works with : - Syntax coloration - Compilation (Not debug mode) - Autocompletion - Package manager (some imporovement have to be done)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    OS based on Agent based Security with a new type of split kernel and agents platform.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Searches

Related Categories

Auth0 Logo