Pinned

1. spark-by-example spark-by-example Public

   Forked from tofgarion/spark-by-example

   SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

   Ada 1

2. curve25519-spark2014 curve25519-spark2014 Public

   An attempt to verify functions from Curve25519 implementation in SPARK2014

   Ada 3 1

3. cat cat Public

   Forked from kanigsson/cat

   Playing with low-level IO and SPARK

   Ada 2

4. OpenUxAS-SoI OpenUxAS-SoI Public

   Forked from AdaCore/OpenUxAS-SoI

   Project for multi-UAV cooperative decision making

   C++