para-sail

parasail-lang.orgsite

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…

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲

   ada-lsp github.com

   Language Server Protocol for Ada.

   tool link ↗
   tool
2. ▲

   lakehq/sail github.com

   Sail is a drop-in Apache Spark replacement written in Rust, unifying batch processing, stream processing, and compute-intensive AI workloads.

   tool topic aitopic programming link ↗
   
3. ▲

   adacore-ada marketplace.visualstudio.com

   Language Support for Ada. It includes Language Server for Ada.

   site topic programming link ↗
   
4. ▲

   ada-language-server github.com

   Adacore server implemention of the the Microsoft Language Protocol for Ada and SPARK.

   tool topic programming link ↗
   
5. ▲

   comp-lang-ada usenet.ada-lang.io

   Ada Usenet newsgroup/forum.

   site topic programming link ↗
   site
6. ▲

   Sail github.com

   tool link ↗
   

Ada/SPARK › Applications > Programming Languages: “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…”