1. Flyology
  2. Libraries

Project directory

Libraries for Ada systems work.

Components are grouped by capability and Runtime dependency. For package versions, dependencies, availability rules, and compiler builds, use the complete Flyology crate index.

Requires Flyology Runtime

Uses the runtime and its task-aware I/O.

Standalone

Can be added without preparing or linking the runtime.

01

Built on the runtime

These protocol libraries preserve synchronous calls across native and lightweight tasks by using Flyology Runtime task-aware I/O.

  1. R01

    Application protocol library

    Flyology HTTP

    HTTP/1.1 clients and servers, with opt-in HTTP/2 and HTTP/3 engines and WebSocket support.

    Requires RuntimeGuideAPIWebsiteSource
  2. R02

    Database protocol library

    Flyology Postgres

    Client and server primitives for the Postgres frontend/backend protocol, including streaming and SCRAM authentication.

    Requires RuntimeGuideProtocol APISQL APIWebsiteSource
  3. R03

    Transport library

    Flyology QUIC

    An experimental bounded QUIC transport with protocol state, streams, recovery, and congestion control implemented in Ada.

    Requires RuntimeSource
02

Standalone libraries

These crates are part of Flyology but have no dependency on Flyology Runtime.

  1. S01

    Memory allocation

    Flyology Allocators

    Caller-owned buddy, best-fit, TLSF, and slab/span allocation algorithms with no hosted operating-system dependency.

    StandaloneSource
  2. S02

    Measurement

    Flyology Bench

    Adaptive microbenchmarking, balanced comparisons, diagnostics, baselines, and machine-readable reports.

    StandaloneGuideAPI
  3. S03

    Memory layout

    Flyology Cachelines

    Cache-line-aware storage, ownership-aware groups, grouped arrays, and host cache queries.

    StandaloneGuideAPI
  4. S04

    Observability

    Flyology Debug

    Bounded in-memory tracing, producer shards, retained batches, and persistent gauges for Ada.

    StandaloneAPISource
  5. S05

    Identifiers

    Flyology IRI

    Allocation-conscious URI, IRI, and WHATWG URL parsing.

    StandaloneGuideAPI
  6. S06

    Memory placement

    Flyology NUMA

    Memory-node reporting, memory placement on a chosen node, and node-bound storage pools.

    StandaloneGuideAPI
  7. S07

    Graph data formats

    Flyology RDF

    RDF 1.2 terms, streaming Turtle, TriG, N-Triples and N-Quads parsing, dataset canonicalization, Notation3, and SPARQL 1.1 query syntax.

    StandaloneGuideAPIN3 APISPARQL APIWebsiteSource
  8. S08

    Data parallelism

    Flyology SIMD

    Portable, strongly typed SIMD foundations for Ada.

    StandaloneGuideAPIWebsiteSource
  9. S09

    Terminal interfaces

    Flyology TUI

    A typed, declarative terminal user-interface toolkit for Ada.

    StandaloneGuideAPIWebsiteSource

Adoption

Add one crate, not the whole project.

Example: Flyology Cachelines
alr index --add=git+https://github.com/flyology-ada/alire-index.git \
  --name=flyology --before=community

alr with flyology_cachelines
alr build

Standalone crates do not trigger Flyology runtime preparation. Follow the selected library's linked documentation and source for its compiler, platform, and release status.

Evaluate the execution foundation.

Evaluate Flyology RuntimeBrowse all source