SPARK formal verification automated with Travis CI
Repository Index
61,121 visible repositories in the index
1–3 of 3 · Most stars
Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)
GTKAda OpenAL Sample Program. Moving airplane causes Doppler effect.