Aboubakr Achraf El Ghazi has experience in Agent-Based Simulation, Data Science, DbaaS, and Software Specification. He holds a PhD in Computer Science from KIT.
-
-
-
Pray-Times Public
Forked from abodehq/Pray-TimesWelcome to Pray Times, an Islamic project aimed at providing an open-source library for calculating Muslim prayers times.
-
-
-
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
C++ Other UpdatedJan 8, 2013