flyology-debug
Bounded in-memory tracing, producer shards, retained batches, and persistent gauges.
- from
- Ada/SPARK
- added
- 2026-10-10
- likes
- 0
similar
-
flyology-bench github.com
Adaptive microbenchmarking with balanced comparisons, diagnostics, baselines, and machine-readable reports.
-
flyology-cachelines github.com
Cache-line-aware storage, ownership-aware groups, grouped arrays, and host cache queries.
-
flyology-numa github.com
Memory-node topology reporting, memory placement on a chosen node, and node-bound storage pools.
-
flyology-allocators github.com
Caller-owned buddy, best-fit, TLSF, and slab/span allocation algorithms with no hosted operating system dependency.
-
flyology-postgres github.com
Client and server primitives for the PostgreSQL frontend/backend protocol, built on flyology task-aware I/O.
-
flyology github.com
Experimental GNAT runtime extension for ordinary Ada tasking, adding task-aware I/O and an opt-in lightweight lane that runs designated tasks as fibers on shared event loops.
Ada/SPARK › Libraries > Utilities: “Bounded in-memory tracing, producer shards, retained batches, and persistent gauges.”