Repository Index

47,133 repositories indexed

Filters (1)

Apply

Filters

Primary language

License

Total stars

Last push

Created

Health fact definitions

Archived

1–5 of 5 · Most stars

tofgarion /spark-by-example

Ada16819

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

Ada8812

Ada Bare Bones OS development tutorial source code

SPARK formal verification automated with Travis CI

Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)

Simulated railway network in SPARK/Ada