Bibliotecas escritas en Ada

septum

Herramienta de búsqueda de código basada en el contexto.
  • 355
  • Apache License 2.0

gnatstudio

GNAT Studio es un IDE potente y ligero para Ada y SPARK.
  • 335

AdaDoom3

Id-tech-4-BFG de Id Software en el lenguaje de programación Ada.
  • 246

synth

Siguiente herramienta de compilación D/Ports para sistemas en vivo (Alternativa para las herramientas Portmaster y Portupgrade) (por jrmarino).
  • 244
  • ISC

alire

Herramienta de línea de comandos del proyecto Alire y biblioteca de apoyo.
  • 220
  • GNU General Public License v3.0 only

Ada_Drivers_Library

Código fuente de Ada y proyectos completos de GNAT de muestra para plataformas de placa base seleccionadas compatibles con GNAT.
  • 216
  • BSD 3-clause "New" or "Revised"

spark2014

SPARK 2014 es la nueva versión de SPARK, una tecnología de desarrollo de software diseñada específicamente para aplicaciones de ingeniería de alta confiabilidad.
  • 208
  • GNU General Public License v3.0 only

ada_language_server

Servidor que implementa el Protocolo de idioma de Microsoft para Ada y SPARK.
  • 197
  • GNU General Public License v3.0 only

gnat-llvm

Compilador GNAT basado en LLVM.
  • 155

spark-by-example

SPARK by Example es una adaptación de ACSL by Example para SPARK 2014, un lenguaje de programación que es un subconjunto formalmente verificado de Ada.
  • 146

libadalang

Biblioteca de análisis semántico de Ada..
  • 132
  • GNU General Public License v3.0

aws

AWS es un marco completo para desarrollar aplicaciones basadas en web en Ada. (por AdaCore).
  • 115
  • GNU General Public License v3.0

sdlada

Enlaces de Ada 2012 a SDL 2.
  • 99
  • zlib

SPARKNaCl

SPARK 2014 reimplementación de la biblioteca criptográfica TweetNaCl.
  • 96
  • BSD 3-clause "New" or "Revised"

RecordFlux

Especificación formal y generación de analizadores binarios verificables, generadores de mensajes y máquinas de estado de protocolo.
  • 92
  • GNU Affero General Public License v3.0

steamsky

Espejo de roguelike en el cielo con ambientación steampunk.
  • 88

OpenGLAda

Encuadernación Ada gruesa para OpenGL y GLFW.
  • 86
  • MIT

hac

Compilador HAC Ada: un compilador Ada pequeño y rápido completamente en Ada.
  • 86

ada-awa

Aplicación web Ada: marco para crear aplicaciones web seguras de alto rendimiento.
  • 85
  • Apache License 2.0

learn

Fuentes para learn.adacore.com (por AdaCore).
  • 79
  • Creative Commons Attribution 4.0

bare_bones

Código fuente del tutorial de desarrollo de Ada Bare Bones OS.
  • 78
  • GNU General Public License v3.0

gprbuild

GPRbuild es un sistema de construcción avanzado diseñado para ayudar a automatizar la construcción de sistemas multilingües.
  • 55
  • GNU General Public License v3.0

svd2ada

Un generador de enlaces Ada de descripciones de SVD para dispositivos ARM de placa base.
  • 55
  • GNU General Public License v3.0 only

cortex-gnat-rts

Este proyecto contiene varios sistemas de tiempo de ejecución (RTS) GNAT Ada destinados a placas Cortex: hasta ahora, Arduino Due, las placas de evaluación de la serie STM32F4 de STMicroelectronics y BBC micro:bit (v1).
  • 55
  • GNU General Public License v3.0 only

orka

El kernel de renderizado OpenGL 4.6 en Ada 2012.
  • 50
  • Apache License 2.0

VSS

Biblioteca de procesamiento de texto y cadenas de alto nivel.
  • 46
  • GNU General Public License v3.0

gnatcoll-core

Colección de componentes GNAT: paquetes básicos.
  • 44
  • GNU General Public License v3.0

adawebpack

Ada WASM Runtime y enlaces para Web API.
  • 41
  • BSD 3-clause "New" or "Revised"

dashera

DasherA es un emulador de terminal Data General DASHER D200/D210.
  • 35
  • MIT

json-ada

Una biblioteca Ada 2012 para analizar JSON.
  • 35
  • Apache License 2.0