Skip to content
View joffreyhuguet's full-sized avatar

Highlights

  • Pro

Block or report joffreyhuguet

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  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++