A collections of small nifty demos/sample code that may help better layout data or structure project
Repository Index
47,133 repositories indexed
49–61 of 61 · Most stars
SPARK formal verification automated with Travis CI
Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)
Simulated railway network in SPARK/Ada
an example of how to build C code as part of a Scala Native project using sbt-jni
- scala-native
- sbt-jni
- cmake
The repository host gives no description.
GTKAda OpenAL Sample Program. Moving airplane causes Doppler effect.
Comparing the performance of Stacked Ensemble Learning & machine learning algorithms like Random Forest, Decision Tree, Adaboost, Gradient Boost and XGBoost Classifier in Python for Stock Market Trend Prediction.
An hour-long hands-on practice on readable and maintainable programming
The repository host gives no description.
An hour-long hands-on practice on readable and maintainable programming
The repository host gives no description.
Demos of multiplexed digital I/O for AdaPilot