-
-
alt-ergo Public
Forked from OCamlPro/alt-ergoOCamlPro public development repository for Alt-Ergo
OCaml Other UpdatedMay 20, 2026 -
why3 Public
Forked from dailler/why3SPARK 2014 repository for the Why3 verification platform.
OCaml Other UpdatedMay 20, 2026 -
counts Public
SPARK example about counting characters in a buffer
Ada Apache License 2.0 UpdatedJan 29, 2026 -
-
zip-ada Public
Forked from zertovitch/zip-adaZip-Ada: a standalone, portable pure Ada library for .zip archives. Includes LZMA and BZip2 byte stream encoder & decoder pairs.
Ada UpdatedNov 21, 2024 -
lets-prove-blocking-queue Public
Forked from lemmy/lets-prove-blocking-queueProving a blocking queue deadlock free in a dozen different ways
Dafny Creative Commons Zero v1.0 Universal UpdatedOct 28, 2024 -
-
-
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
SMT Other UpdatedMay 16, 2023 -
-
rflx_refactor Public
Repo to share manual refactoring of RecordFlux-generated code
Ada UpdatedApr 5, 2023 -
-
-
-
-
ada_spark_workflow Public
Forked from alire-project/ada_spark_workflowA demo of best practices for open-source Ada/SPARK development
Ada MIT License UpdatedJun 16, 2022 -
spark2014 Public
Forked from AdaCore/spark2014SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Ada UpdatedMay 30, 2022 -
GNAT-FSF-builds Public
Forked from alire-project/GNAT-FSF-buildsBuilds of the GNAT Ada compiler from FSF GCC releases
Python MIT License UpdatedOct 15, 2021 -
-
-
-
ada-spark-rfcs Public
Forked from AdaCore/ada-spark-rfcsPlatform to submit RFCs for the Ada & SPARK languages
UpdatedOct 20, 2020 -
spark_translator Public
Forked from AdaCore/spark_translatorSPARK 2005 to 2014 translator
Python UpdatedAug 12, 2020 -
Lumos_Maxima Public
Forked from AdaCore/Lumos_MaximaLumos_Maxima repository for VerifyThis challenge
Ada UpdatedApr 27, 2020 -
-
-
-
opam-repository-mingw Public
Forked from yakobowski/opam-repository-mingwwindows package repository for OPAM (mingw and msvc)
Shell Creative Commons Zero v1.0 Universal UpdatedNov 20, 2019 -
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for OPAM, the source package manager of OCaml.
Shell Creative Commons Zero v1.0 Universal UpdatedMar 29, 2019
{{ message }}