FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Original HTTPS Page]

AdaCore · GitHub

AdaCore

AdaCore is the leading provider of commercial software solutions for Ada.

Popular repositories Loading

  1. gnatstudio gnatstudio Public

    GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

    Ada 529 65

  2. spark2014 spark2014 Public

    SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

    Ada 326 47

  3. ada_language_server ada_language_server Public

    Server implementing the Microsoft Language Protocol for Ada and SPARK

    Ada 304 70

  4. Ada_Drivers_Library Ada_Drivers_Library Public

    Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.

    Ada 284 165

  5. gnat-llvm gnat-llvm Public

    LLVM based GNAT compiler

    Ada 238 32

  6. libadalang libadalang Public

    Ada semantic analysis library.

    Ada 171 48

Repositories

Loading
Type
Select type
All Public Sources Forks Archived Mirrors Templates
Language
Select language
All Ada C C++ Coq Java JavaScript LLVM OCaml Python Rust Shell SMT TypeScript
Sort
Select order
Last updated Name Stars
Showing 10 of 135 repositories
View all repositories

Most used topics

Loading…

Back | FazBrowse Home | New Git URL