Pinned Repositories
ada-spark-rfcs
Platform to submit RFCs for the Ada & SPARK languages
ada-traits-containers
Generic Ada Library for Algorithms and Containers
ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
adareducer
AdasMasterMind
Version of the classic Master Mind game written in Ada
advent_of_code_2022
Answers to Advent of Code 2022
alire
Command-line tool from the Alire project and supporting library
alire-index
Community index for the Alire project
spark_vstte_2013
Participation to VSTTE 2013 competition with SPARK 2014 and GNATprove
training_material
yannickmoy's Repositories
yannickmoy/advent_of_code_2022
Answers to Advent of Code 2022
yannickmoy/training_material
yannickmoy/ada-spark-rfcs
Platform to submit RFCs for the Ada & SPARK languages
yannickmoy/ada-traits-containers
Generic Ada Library for Algorithms and Containers
yannickmoy/ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
yannickmoy/adareducer
yannickmoy/AdasMasterMind
Version of the classic Master Mind game written in Ada
yannickmoy/alire
Command-line tool from the Alire project and supporting library
yannickmoy/alire-index
Community index for the Alire project
yannickmoy/ardynia
An adventure game in the style of Zelda, for the Arduboy
yannickmoy/benchmark-submission
Git repository for the submission of SMT-LIB benchmarks
yannickmoy/cii-best-practices-badge
Core Infrastructure Initiative Best Practices Badge
yannickmoy/creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
yannickmoy/Decysif_benchmarks
Benchmarks for the project
yannickmoy/Decysif_livrables
Livrables et autres documents
yannickmoy/Http_Cyclone-1
yannickmoy/langkit-query-language
query language for Libadalang and Langkit
yannickmoy/LASY-epita
Cours Langages systèmes pour EPITA
yannickmoy/learn
Sources for learn.adacore.com
yannickmoy/libadalang
Ada semantic analysis library.
yannickmoy/moth
Minimalist cooperative operating system supporting multiple tasks with MMU protection
yannickmoy/OpenUxAS
Project for multi-UAV cooperative decision making
yannickmoy/programming-with-ada
A guide for learning about the Ada Programming Language.
yannickmoy/pygments
Pygments is a generic syntax highlighter written in Python
yannickmoy/RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
yannickmoy/spark-by-example
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014.
yannickmoy/SPARKNaCl
SPARK 2014 re-implementation of the TweetNaCl crypto library
yannickmoy/SPARKrobustX
Supporting material for experimenting with the robustness of SPARK proofs
yannickmoy/VerifyThis2023
Solutions of team The Sparkans for VerifyThis 2023 competition
yannickmoy/wolfssl
The wolfSSL library is a small, fast, portable implementation of TLS/SSL for embedded devices to the cloud. wolfSSL supports up to TLS 1.3!