PinnedLoading

1. spark-by-examplespark-by-examplePublic

   Forked fromtofgarion/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-spark2014curve25519-spark2014Public

   An attempt to verify functions from Curve25519 implementation in SPARK2014

   Ada 3 1

3. catcatPublic

   Forked fromkanigsson/cat

   Playing with low-level IO and SPARK

   Ada 2

4. OpenUxAS-SoIOpenUxAS-SoIPublic

   Forked fromAdaCore/OpenUxAS-SoI

   Project for multi-UAV cooperative decision making

   C++