Optimal Strategies for a Game using Dynamic Programming in two Programming Languages: Python & C++!
Contributions:20 commits in 7 months
cppprogramming-languagepython
Simple Ada/Spark package which works with some mathematical functions and arrays. The objective of this library is to make a formal verification using SPARK of some algorithms.
Contributions:22 commits in 8 months
formal-verificationspark