Alire

Alire Network Graph

A

  • Ada_fuse: Ada bindings for Fuse (Filesystem in Userspace)
  • Ada_lua: An Ada binding for lua
  • Ada_pretty: Ada Pretty Printer Library
  • Ada_toml: TOML parser for Ada
  • Ada_voxel_space_demo: Voxel Space render engine demo in Ada
  • Adayaml: Experimental YAML 1.3 implementation in Ada
  • Adl_middleware: Middleware layer of the Ada Drivers Library project
  • Ado: Ada Database Objects (Core library)
  • Ado_postgresql: Ada Database Objects (PostgreSQL)
  • Ado_sqlite: Ada Database Objects (SQLite)
  • Agpl: Ada General Purpose Library with a robotics flavor
  • Aicwl: Ada Industrial Control Widgets Library
  • Ajunitgen: Generator of JUnit-compatible XML reports
  • Anagram: Grammar handling and parser generation Ada library
  • Ansiada: Comprehensive ANSI control sequences for terminal output
  • Apdf: Standalone, portable package for producing dynamically PDF documents
  • Asis: Ada Semantic Interface Specification or ASIS (library part)
  • Atomic: Standalone Ada/SPARK bindings to GCC atomic built-ins
  • Aunit: Ada unit test framework
  • Aws: Ada Web Server
  • Axmpp: XMPP client library in Ada

B

  • Bar_codes: Generate various types of bar codes on different output formats
  • Basalt: Collection of formally verified building blocks
  • Bbqueue: DMA friendly lock-free BipBuffer

C

  • C_strings: Convenience subprograms to interact with C strings
  • Cortex_m: Drivers for Cortex-M micro-controllers (NVIC, SysTick, etc.)

E

G

H

  • Hal: Hardware Abstraction Layer (HAL)
  • Hangman: Hangman game for the console
  • Hello: "Hello, world!" demonstration project

I

J

  • Jupyter_kernel: Jupyter Kernel for Ada
  • Jwt: JSON Web Token (JWT) implementation in Ada

K

L

  • Lal_highlight: Simple code highlighters based on Libadalang
  • Langkit_support: Runtime support library for Langkit-generated libraries
  • Libadalang: Ada semantic analysis library
  • Libgpr: GNAT Project File Library
  • Libhello: "Hello, world!" demonstration project support library
  • Littlefs: Ada/SPARK binding for the LittleFS flash embedded filesystem
  • Lvgl_ada: Bindings for the LVGL embedded GUI framework
  • Lvgl_ada_examples: Examples for the LVGL embedded GUI framework Ada binding
  • Lvgl_ada_simulator: SDL simulator for the LVGL embedded GUI framework
  • Lzmada: Ada LZMA Library Binding

M

N

  • Nrf5x_hal: Drivers and HAL for the Nordic nRF5X micro-controller family

O

  • Openglada: Thick Ada binding for OpenGL and GLFW

P

  • Protobuf: Google Protocol Buffers implementation in Ada
  • Pygamer_bsp: Board Support Package for the AdaFruit PyGamer
  • Pygamer_simulator: SDL simulator of the AdaFruit PyGamer console

R

  • Rclada: ROS2 Ada Client Library
  • Rclada_examples: ROS2 Ada Client Library - Examples
  • Rsfile: Pick a file with probability proportional to its size
  • Rxada: RxAda port of the Rx framework

S

  • Saatana: SPARK/Ada Algorithms Targeting Advanced Network Applications
  • Samd51_hal: Drivers and HAL for the SAMD51 micro-controller family
  • Sdlada: Ada 2012 bindings to SDL 2
  • Security: Security Library for HTTP client and server with OAuth2 support
  • Semantic_versioning: Semantic Versioning in Ada
  • Serverfaces: Web Server Faces JSR 252, JSR 314 and JSR 344
  • Serverfaces_unit: Web Server Faces JSR 252, JSR 314 and JSR 344 (Testing framework)
  • Servletada: Web Servlet Library following JSR 154, JSR 315 (Core)
  • Servletada_aws: Web Servlet Library following JSR 154, JSR 315 (AWS)
  • Servletada_unit: Web Servlet Library following JSR 154, JSR 315 (Testing framework)
  • Shoot_n_loot: Platform game for the AdaFruit PyGamer console
  • Si_units: Pretty print physical values in properly scaled metric (SI) units.
  • Simple_components: Simple Components - A collection of support packages
  • Simple_logging: Simple logging to console
  • Socketcan: An Ada language binding to SocketCAN for GNU/Linux systems
  • Sparknacl: Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library
  • Spat: SPAT - SPARK Proof Analysis Tool
  • Spawn: A simple library to spawn processes and communicate with them.
  • Spawn_glib: A simple library to spawn processes and communicate with them.
  • Spdx: SPDX License Expression Validator
  • Startup_gen: Generates startup files (crt0 and linker script)

T

  • Templates_parser: Templates Parser: File generation from templates in Ada
  • Tiny_text: Low resolution bitmap font with a small memory footprint

U

  • Uri_ada: Processing of URI strings
  • Utilada: Utility Library with streams, processes, logs, serialization, encoders
  • Utilada_aws: Utility Library REST support on top of AWS
  • Utilada_curl: Utility Library REST support on top of CURL
  • Utilada_lzma: Utility Library streams with LZMA support
  • Utilada_unit: Utility Library testing framework with Ahven
  • Utilada_xml: Utility Library serialization with XML/Ada

V

  • Virtapu: A virtual Audio Processing Unit to simulate 8-bit era game sounds
  • Vss: Advanced string and text manipulation with Unicode support

W

  • Webdriver: Web Browser control API
  • Wikiada: Wiki Engine with parser and renderer for several wiki syntaxes
  • Win32ada: Ada API to the Windows library

X

  • Xml_ez_out: Creation of XML-formatted output from Ada programs
  • Xmlada: The XML/Ada toolkit

Z

  • Zeromq_ada: An Ada-binding the ØMQ library
  • Zipada: Manage Zip Archives and raw LZMA streams
  • Zlib_ada: ZLib for Ada thick binding

144 crates. From community branch stable-0.4. Alr 0.7.0-dev. Alire Library 0.7.0-dev.