flyology-simd

github.comtool

Portable, strongly typed SIMD foundations for Ada.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲
   flyology-bench github.com

   site category #ada link ↗

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

2. ▲
   flyology github.com

   tool category #ada link ↗

   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.

   
3. ▲
   flyology-allocators github.com

   site category #ada link ↗

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

4. ▲
   certiflie github.com

   tool category #ada link ↗

   Source code for the full Ada + SPARK Crazyflie 2.0 firmware.

   
5. ▲
   agpl github.com

   tool category #ada link ↗

   Ada General Purpose Library (Miscellaneous utilities, with a robotic flavor).

   
6. ▲
   SweetAda github.com

   tool category #ada link ↗

   A lightweight development framework whose purpose is the implementation of Ada-based software systems. It supports a plethora or CPU architectures and development boards.

   

Ada/SPARK › Libraries > General Purpose Computing: “Portable, strongly typed SIMD foundations for Ada.”