paraffin
A suite of Ada 2012 generics to facilitate iterative and recursive parallelism for multicore systems.
- from
- Ada/SPARK
- added
- 2026-10-10
- likes
- 0
similar
-
flyology-simd github.com
Portable, strongly typed SIMD foundations for Ada.
-
deepend sourceforge.net
Storage pool with subpool capabilities for Ada 2012, Ada 2005, and Ada 95.
-
para-sail parasail-lang.org
ParaSail is a highly parallel experimental language, similar to Go and Erlang. Originaly owned by SofCheck (now AdaCore), it is a test project to try new ideas. Expandable pointers is a sample feature that is about to be introduced to SPARK and Ada. There are in fact 4…
-
gela github.com
Ada code analyzer.
-
SweetAda github.com
A lightweight development framework whose purpose is the implementation of Ada-based software systems. It supports a plethora or CPU architectures and development boards.
-
flyology-cachelines github.com
Cache-line-aware storage, ownership-aware groups, grouped arrays, and host cache queries.
Ada/SPARK › Libraries > Algorithms, Containers and Protocols: “A suite of Ada 2012 generics to facilitate iterative and recursive parallelism for multicore systems.”